Generating Corrective Explanations for Interactive Constraint Satisfaction

DOI10.1007/11564751_34zbMath1153.68472OpenAlexW1593414874MaRDI QIDQ3524197

Barry O'Sullivan, Eugene C. Freuder, Barry O'Callaghan

Publication date: 9 September 2008

Published in: Principles and Practice of Constraint Programming - CP 2005 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11564751_34

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

\textsc{Ner4Opt}: named entity recognition for optimization modelling from natural language ⋮ Debugging unsatisfiable constraint models ⋮ MCS Extraction with Sublinear Oracle Queries

This page was built for publication: Generating Corrective Explanations for Interactive Constraint Satisfaction