Improving SAT Algorithms by Using Search Pruning Techniques.
Inês LynceJoão P. Marques SilvaPublished in: CP (2001)
Keyphrases
- search strategies
- learning algorithm
- search algorithm
- search space
- orders of magnitude
- search methods
- genetic algorithm
- backtracking search
- propositional satisfiability
- stochastic local search
- search problems
- benchmark datasets
- optimization problems
- significant improvement
- theoretical analysis
- web search
- hill climbing
- computational cost
- data structure
- solving hard
- web pages