Sean Safarpour, Andreas G. Veneris, Rolf Drechsler. Integrating observability don t cares in all-solution SAT solvers. In International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece. IEEE, 2006. [doi]
Abstract is missing.