Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning.
Zbigniew StachniakAnton BelovPublished in: SAT (2008)
Keyphrases
- propositional satisfiability
- clause learning
- sat solvers
- constraint programming
- stochastic local search
- automated reasoning
- propositional logic
- constraint propagation
- theorem proving
- sat problem
- industrial applications
- davis putnam
- constraint satisfaction
- sat instances
- max sat
- orders of magnitude
- boolean satisfiability
- search space
- search tree
- knowledge compilation
- propositional formulas
- information retrieval
- satisfiability problem
- np complete
- special case
- expert systems
- search algorithm
- reinforcement learning