40 citations · 73 across the 5 of their papers we have counts for
1 paper · 1 filter
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…