Sign in

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

Florian LonsingUwe 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