A BDD SAT Solver for Satisfiability Testing: An Industrial Case Study.
Ruchir PuriJun GuPublished in: Ann. Math. Artif. Intell. (1996)
Keyphrases
- satisfiability testing
- sat solvers
- boolean formula
- propositional logic
- sat encodings
- constraint satisfaction
- orders of magnitude
- sat problem
- search space
- sat solving
- search strategies
- max sat
- boolean satisfiability
- propositional satisfiability
- binary decision diagrams
- sat instances
- boolean functions
- constraint solver
- propositional formulas
- practical problems
- np complete
- unsatisfiable cores
- constraint satisfaction problems
- document collections
- probabilistic model
- belief revision
- hidden structure
- data structure