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

Florian Lonsing Uwe Egly

Published in: CoRR (2017)

Keyphrases

quantified boolean formulas
search algorithm
search space
search strategy
neural network
search methods
search strategies
search queries
answer set programming
constraint solver