Ultimately Incremental SAT.

Alexander Nadel Vadim Ryvchin Ofer Strichman

Published in: SAT (2014)

Keyphrases

satisfiability problem
incremental learning
sat solvers
sat problem
search algorithm
phase transition
sat solving
stochastic local search algorithms
search strategies
propositional satisfiability
boolean satisfiability
incremental version
lower bound
search procedures
incremental clustering