SAT-based methods for circuit synthesis.

Roderick Bloem, Uwe Egly, Patrick Klampfl, Robert Knighofer, Florian Lonsing

Browse the full FMCAD paper archive.