EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure.
Shujun DengJinian BianWeimin WuXiaoqing YangYanni ZhaoPublished in: DAC (2007)
Keyphrases
- davis putnam
- clause learning
- propositional logic
- satisfiability problem
- sat solving
- boolean formula
- np complete
- sat problem
- tree search
- unit propagation
- propositional satisfiability
- sat solvers
- quantified boolean formulas
- davis putnam logemann loveland
- proof procedure
- random sat
- boolean satisfiability
- phase transition
- first order logic
- sat instances
- sat encodings
- temporal logic
- search algorithm
- membership queries
- automated reasoning
- industrial applications
- theorem proving
- search tree
- branch and bound
- objective function