An efficient circuit-based SAT solver and its application in logic equivalence checking.
Kunmei HuZhufei ChuPublished in: Microelectron. J. (2023)
Keyphrases
- propositional logic
- propositional satisfiability
- sat solvers
- digital circuits
- sat solving
- sat instances
- orders of magnitude
- sat problem
- constraint satisfaction
- computational properties
- propositional theories
- logic programming
- boolean satisfiability
- boolean formula
- search strategies
- constraint solver
- search space
- micron cmos
- constraint satisfaction problems
- upper bound
- special case
- computational problems
- branch and bound algorithm
- lower bound
- unsatisfiable cores
- information retrieval