Sign in

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