Automated Benchmarking of Incremental SAT and QBF Solvers.

Uwe Egly Florian Lonsing Johannes Oetsch

Published in: CoRR (2015)

Keyphrases

semi automated
data driven
incremental learning
automated analysis
search algorithm
computer aided
search tree
incremental clustering
database
knowledge base
computational complexity
phase transition
fully automated
incremental version
stochastic local search algorithms