Hybrid SAT Solver Considering Circuit Observability.

Xiuqin Wang Hao Wang Guangsheng Ma

Published in: ICYCS (2008)

Keyphrases

sat solvers
sat solving
orders of magnitude
propositional satisfiability
sat problem
sat instances
boolean satisfiability
constraint satisfaction
search space
max sat
search tree
search strategies
constraint solver
clause learning
special case