ASPQ: An ASP-Based 2QBF Solver.

Giovanni Amendola Carmine Dodaro Francesco Ricca

Published in: QBF@SAT (2016)

Keyphrases

quantified boolean formulas
answer set programming
reasoning tasks
boolean formula
decision procedures
web applications
logic programming
universally quantified
quantified boolean formulae
logic programs
propositional satisfiability
propositional logic
machine learning
theorem proving
practical problems