Automated Benchmarking of Incremental SAT and QBF Solvers.

Uwe Egly Florian Lonsing Johannes Oetsch

Published in: LPAR (2015)

Keyphrases

incremental learning
data driven
fully automated
search algorithm
semi automated
satisfiability problem
sat problem
computer aided
sat solvers
case study
phase transition
automated analysis
stochastic local search
boolean satisfiability
sat solving
stochastic local search algorithms