Eliminating Redundancies in SAT Search Trees.
Richard OstrowskiBertrand MazureLakhdar SaisÉric GrégoirePublished in: ICTAI (2003)
Keyphrases
- search tree
- sat solvers
- search algorithm
- sat solving
- sat instances
- sat problem
- boolean satisfiability
- search space
- propositional satisfiability
- orders of magnitude
- search strategies
- constraint satisfaction
- branch and bound algorithm
- symmetry breaking
- branching factor
- satisfiability problem
- tree search
- max sat
- clause learning
- root node
- heuristic search
- randomly generated
- game tree
- databases
- information retrieval systems
- optimal solution
- binary search trees
- data analysis
- phase transition
- database