A Unified Proof System for QBF Preprocessing.

Marijn Heule Martina Seidl Armin Biere

Published in: IJCAR (2014)

Keyphrases

preprocessing
post processing
modal logic
quantified boolean formulas
preprocessing step
machine learning
data sets
neural network
unified model
preprocessing phase