Solution Validation and Extraction for QBF Preprocessing.

Marijn J. H. Heule Martina Seidl Armin 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