Generalizing Consistency and other Constraint Properties to Quantified Constraints

Lucas Bordeaux, Marco Cadoli, Toni Mancini

Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual n…