Quantified Constraints: Algorithms and Complexity.

Ferdinand Brner, Andrei A. Bulatov, Peter Jeavons, Andrei A. Krokhin

Browse the full CSL paper archive.