SAT-based methods for circuit synthesis - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Könighofer, Florian Lonsing. SAT-based methods for circuit synthesis. In Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014. pages 31-34, IEEE, 2014. [doi]

The following publications are possibly variants of this publication:

A SAT Solver for Circuits Based on the Tableau MethodUwe Egly, Leopold Haller. ki, 24(1):15-23, 2010. [doi]

SAT-Based Synthesis Methods for Safety SpecsRoderick Bloem, Robert Könighofer, Martina Seidl. vmcai 2014: 1-20 [doi]

runs on WebDSL