Probing-Based Preprocessing Techniques for Propositional Satisfiability.
Inês LynceJoão P. Marques SilvaPublished in: ICTAI (2003)
Keyphrases
- propositional satisfiability
- preprocessing
- sat solvers
- propositional logic
- constraint programming
- automated reasoning
- industrial applications
- solving hard
- sat problem
- davis putnam
- variable ordering
- sat instances
- max sat
- orders of magnitude
- propositional formulas
- computational complexity
- satisfiability problem
- constraint satisfaction
- first order logic
- search algorithm
- artificial intelligence
- constraint satisfaction problems
- query expansion
- graphical models
- information retrieval systems