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

Sean Safarpour Andreas G. Veneris Rolf Drechsler

Published in: ISCAS (2006)

Keyphrases

sat solvers
search space
constraint satisfaction
orders of magnitude
propositional satisfiability
max sat
optimal solution
sat solving
boolean satisfiability
sat instances
sat problem
search strategies
information retrieval
industrial applications
search tree
search strategy
special case
sat encodings