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