Sign in
qbf2epr: A Tool for Generating EPR Formulas from QBF.
Martina Seidl
Florian Lonsing
Armin Biere
Published in:
PAAR@IJCAR (2012)
Keyphrases
</>
quantified boolean formulas
boolean formula
quantified boolean formulae
conjunctive normal form
propositional logic
case study
universally quantified
neural network
knowledge compilation
sat solvers
practical problems