The Complexity of Problems for Quantified Constraints

Michael Bauland, Elmar Böhler, Nadia Creignou, Steffen Reith, Henning Schnoor, Heribert Vollmer. The Complexity of Problems for Quantified Constraints. Theory Comput. Syst., 47(2):454-490, 2010. [doi]

Abstract

Abstract is missing.