Combining Inference and Search for the Propositional Satisfiability Problem.
Lyndon DrakeAlan M. FrischPublished in: AAAI/IAAI (2002)
Keyphrases
- satisfiability problem
- search algorithm
- stochastic local search
- np complete
- solving hard
- temporal logic
- search space
- phase transition
- stochastic local search algorithms
- sat problem
- search strategies
- search strategy
- search problems
- search methods
- pspace complete
- conjunctive normal form
- mazurkiewicz traces
- sat instances
- probabilistic reasoning
- propositional logic