QBFRelay, QRATPre+, and DepQBF: Incremental Preprocessing Meets Search-Based QBF Solving.

Florian Lonsing

Published in: J. Satisf. Boolean Model. Comput. (2019)

Keyphrases

preprocessing
search algorithm
search strategies
search space
search methods
search efficiency
information seeking
knowledge representation
heuristic search
incremental learning