Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems

DOI10.1007/978-3-319-25150-9_19zbMath1471.68255OpenAlexW2241416491MaRDI QIDQ2787433

Deepak Mehta, Barry O'Sullivan, Luis O. Quesada

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_19

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Human-centred feasibility restoration in practice ⋮ Quantified Constraints in Twenty Seventeen

This page was built for publication: Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems