Solving QBF by Clause Selection.

Mikolás Janota João Marques-Silva

Published in: IJCAI (2015)

Keyphrases

boolean formula
quantified boolean formulas
search space
sat solvers
knowledge base
evolutionary algorithm
combinatorial optimization
selection algorithm
practical problems