Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Improved SAT-based Reachability Analysis with Observability Don t CaresSean Safarpour, Andreas G. Veneris, Rolf Drechsler. jsat, 5(1-4):1-25, 2008. [doi] Utilizing don t care states in SAT-based bounded sequential problemsSean Safarpour, Görschwin Fey, Andreas G. Veneris, Rolf Drechsler. glvlsi 2005: 264-269 [doi]
The following publications are possibly variants of this publication: