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