Pierre Deransart, M.V. Hermenegildo, J. Maluszynski
This work covers the topic of constraint debugging and presents new approaches to debugging for the computational paradigm of constraint programming. The book is based on the European research project DiSCiPl. It consists of an introduction and three parts, each of them composed of several chapters. The introduction presents the DiSCiPl debugging methodology and explains how the technical chapters are related. The three parts on correctness debugging, performance debugging, and user cases offer a total of 13 chapters.
This work covers the topic of constraint debugging and presents new approaches to debugging for the computational paradigm of constraint programming. ...