Backbone Guided Dynamic Local Search for Propositional Satisfiability.
Valnir Ferreira Jr.Published in: AI&M (2006)
Keyphrases
- propositional satisfiability
- propositional logic
- sat solvers
- automated reasoning
- industrial applications
- constraint programming
- solving hard
- stochastic local search
- sat problem
- davis putnam
- search algorithm
- clause learning
- satisfiability problem
- belief revision
- constraint satisfaction
- simulated annealing
- knowledge base