Managing Don't Cares in Boolean Satisfiability.

Sean Safarpour, Andreas G. Veneris, Rolf Drechsler, Joanne Lee

Browse the full DATE paper archive.