Search-Space Partitioning for Parallelizing SMT Solvers.
Antti E. J. HyvärinenMatteo MarescottiNatasha SharyginaPublished in: SAT (2015)
Keyphrases
- search space
- modulo theories
- sat solvers
- combinatorial search
- search algorithm
- search strategy
- reduce the search space
- metaheuristic
- parallel processing
- search tree
- branch and bound
- answer set programming
- partitioning algorithm
- constraint satisfaction problems
- state space
- statistical machine translation
- prune the search space
- solution space
- fitness function
- optimal solution
- satisfiability modulo theories
- sat solving
- graph partitioning
- global optimum
- orders of magnitude
- word alignment
- search heuristics
- clause learning
- stable model semantics
- constraint propagation
- quantified boolean formulas
- data sets