"Preferred Explanations for Quantified Constraint Satisfaction Problems."

Deepak Mehta, Barry O'Sullivan, Luis Quesada (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics