Login / Signup
Efficient, scalable hardware engine for Boolean satisfiability and unsatisfiable core extraction.
Kanupriya Gulati
Mandar Waghmode
Sunil P. Khatri
Weiping Shi
Published in:
IET Comput. Digit. Tech. (2008)
Keyphrases
</>
unsatisfiable cores
boolean satisfiability
sat solvers
sat problem
orders of magnitude
sat solving
phase transition
lower bound
max sat
randomly generated
maximum satisfiability
probabilistic planning
symmetry breaking
search tree
branch and bound algorithm
constraint satisfaction
np complete