Dynamically Partitioning for Solving QBF.

Horst Samulowitz Fahiem Bacchus

Published in: SAT (2007)

Keyphrases

information retrieval
database
solving problems
machine learning
genetic algorithm
knowledge base
optimal solution
lower bound
changing environment