Algebraic Simplification Techniques for Propositional Satisfiability.
João P. Marques SilvaPublished in: CP (2000)
Keyphrases
- propositional satisfiability
- sat solvers
- propositional logic
- constraint programming
- automated reasoning
- industrial applications
- sat problem
- davis putnam
- solving hard
- variable ordering
- belief revision
- max sat
- search strategies
- sat instances
- stochastic local search
- knowledge representation
- propositional formulas
- search algorithm