The Impact of Branching Heuristics in Propositional Satisfiability Algorithms.
João P. Marques SilvaPublished in: EPIA (1999)
Keyphrases
- propositional satisfiability
- solving hard
- orders of magnitude
- backtrack search
- variable ordering
- search strategies
- stochastic local search
- industrial applications
- computational complexity
- sat solvers
- automated reasoning
- simulated annealing
- genetic algorithm
- highly efficient
- probability distribution
- data structure
- knowledge base
- artificial intelligence
- learning algorithm