Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.
Enrico GiunchigliaMarco MarateaArmando TacchellaDavide ZamboninPublished in: IJCAR (2001)
Keyphrases
- propositional satisfiability
- search heuristics
- constraint programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- propositional logic
- search strategies
- optimization problems
- sat solvers
- search algorithm
- beam search
- evolutionary algorithm
- industrial applications
- tabu search
- search strategy
- genetic algorithm
- automated reasoning
- search tree
- first order logic
- orders of magnitude
- computational complexity
- reinforcement learning