Sign in

Expansion-Based QBF Solving Without Recursion.

Roderick BloemNicolas Braud-SantoniVedad HadzicUwe EglyFlorian LonsingMartina Seidl
Published in: FMCAD (2018)
Keyphrases
  • quantified boolean formulas
  • np hard
  • neural network
  • genetic algorithm
  • logic programming
  • np complete
  • combinatorial optimization