Expansion-based QBF solving versus Q-resolution.

Mikolás Janota João Marques-Silva

Published in: Theor. Comput. Sci. (2015)

Keyphrases

search strategies
evolutionary algorithm
real time
high quality
lower bound
combinatorial optimization
higher resolution
quantified boolean formulas