Using SAT for combinational equivalence checking.
Evguenii I. GoldbergMukul R. PrasadRobert K. BraytonPublished in: DATE (2001)
Keyphrases
- sat solvers
- satisfiability problem
- phase transition
- sat problem
- sat solving
- boolean satisfiability
- stochastic local search algorithms
- propositional satisfiability
- stochastic local search
- max sat
- orders of magnitude
- search algorithm
- np complete
- search space
- equivalence relation
- datalog programs
- consistency checking
- case study
- search problems
- neural network
- asynchronous circuits
- sat encodings
- real time
- database