Improvements to Hybrid Incremental SAT Algorithms.

Florian Letombe João Marques-Silva

Published in: SAT (2008)

Keyphrases

recently developed
learning algorithm
orders of magnitude
computational cost
computationally efficient
incremental version
hybrid approaches
worst case
computational complexity
search algorithm
optimization problems
significant improvement
search strategies
randomly generated
sat problem
data structure
data sets