Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems

Deepak Mehta, Barry O'Sullivan, Luis Quesada. Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems. In Martin Leucker, Camilo Rueda, Frank D. Valencia, editors, Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Volume 9399 of Lecture Notes in Computer Science, pages 309-327, Springer, 2015. [doi]

Abstract

Abstract is missing.