DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL.

Florian Lonsing Uwe Egly

Published in: CADE (2017)

Keyphrases

search algorithm
search space
quantified boolean formulas
search efficiency
search strategies
neural network
evolutionary algorithm
user queries
solution space
search queries
search tools