Login / Signup
A Duality-Aware Calculus for Quantified Boolean Formulas.
Katalin Fazekas
Martina Seidl
Armin Biere
Published in:
SYNASC (2016)
Keyphrases
</>
quantified boolean formulas
reasoning tasks
universally quantified
linear programming
decision procedures
propositional satisfiability
machine learning
video sequences
search algorithm
answer set programming