Deciding First-Order Satisfiability when Universal and Existential Variables are Separated.

Thomas Sturm Marco Voigt Christoph Weidenbach

Published in: LICS (2016)

Keyphrases

universally quantified
existentially quantified
quantified boolean formulas
np complete
decision procedures
first order logic
variable selection
computational complexity
higher order
propositional logic
query answering
satisfiability problem
independent variables
boolean formula