SAT-Sweeping Enhanced for Logic Synthesis - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Luca G. Amarù, Felipe S. Marranghello, Eleonora Testa, Christopher Casares, Vinicius N. Possani, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli. SAT-Sweeping Enhanced for Logic Synthesis. In 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020. pages 1-6, IEEE, 2020. [doi]

The following publications are possibly variants of this publication:

Applying Logic Synthesis for Speeding Up SATNiklas Eén, Alan Mishchenko, Niklas Sörensson. sat 2007: 272-286 [doi]

runs on WebDSL