Sign in

Solution Validation and Extraction for QBF Preprocessing.

Marijn J. H. HeuleMartina SeidlArmin Biere
Published in: J. Autom. Reason. (2017)
Keyphrases
  • preprocessing
  • linear equations
  • neural network
  • optimal solution
  • np hard
  • information extraction
  • closed form
  • optimization method
  • integer programming
  • exact solution