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]

Authors

Deepak Mehta

This author has not been identified. Look up 'Deepak Mehta' in Google

Barry O'Sullivan

This author has not been identified. Look up 'Barry O'Sullivan' in Google

Luis Quesada

This author has not been identified. Look up 'Luis Quesada' in Google