Complete Local Search for Propositional Satisfiability.
Hai FangWheeler RumlPublished in: AAAI (2004)
Keyphrases
- propositional satisfiability
- sat solvers
- propositional logic
- automated reasoning
- constraint programming
- industrial applications
- solving hard
- sat problem
- backtrack search
- davis putnam
- sat instances
- information retrieval systems
- stochastic local search
- constraint propagation
- search space
- constraint satisfaction
- propositional formulas
- max sat
- theorem proving
- genetic algorithm
- search strategies
- orders of magnitude
- linear programming
- lower bound
- reinforcement learning