Integrating observability don't cares in all-solution SAT solvers.

Sean Safarpour, Andreas G. Veneris, Rolf Drechsler

Browse the full ISCAS paper archive.