Incremental QBF Solving.

Florian Lonsing Uwe Egly

Published in: CoRR (2014)

Keyphrases

incremental learning
database
combinatorial optimization
solving problems
incremental clustering
machine learning
clustering algorithm
propositional logic
incremental version
quantified boolean formulas
quantified boolean formulae