Debugging Sequential Circuits Using Boolean Satisfiability.
Moayad Fahim AliAndreas G. VenerisSean SafarpourMagdy S. AbadirRolf DrechslerAlexander SmithPublished in: MTV (2004)
Keyphrases
- boolean satisfiability
- sat solvers
- branch and bound algorithm
- integer linear programming
- boolean optimization
- probabilistic planning
- sat problem
- maximum satisfiability
- sat solving
- randomly generated
- symmetry breaking
- max sat
- combinatorial problems
- search algorithm
- learning algorithm
- phase transition
- boolean formula
- branch and bound
- domain specific
- search space
- lower bound