Conflict Analysis in CP Solving: Explanation Generation from Constraint Decomposition

Gontier, A. , Truchet, C. and Prud'Homme, C. (2020) Conflict Analysis in CP Solving: Explanation Generation from Constraint Decomposition. CP 2020: 26th International Conference on Principles and Practice of Constraint Programming (CP 2020) - Workshop: From Constraint Programming to Trustworthy AI, 7-11 Sept 2020.

Full text not currently available from Enlighten.

Abstract

No abstract available.

Item Type:Conference or Workshop Item
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Gontier, Dr Arthur
Authors: Gontier, A., Truchet, C., and Prud'Homme, C.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record