SATORI - A Fast Sequential SAT Engine for Circuits.
Madhu K. IyerGanapathy ParthasarathyKwang-Ting ChengPublished in: ICCAD (2003)
Keyphrases
- sat solvers
- satisfiability problem
- search algorithm
- sat problem
- logic synthesis
- circuit design
- stochastic local search algorithms
- sat solving
- boolean satisfiability
- high speed
- lateral inhibition
- propositional satisfiability
- analog circuits
- logic circuits
- max sat
- phase transition
- tunnel diode
- digital circuits
- orders of magnitude