Authors:
Martin Michalowski
Source:
13th International Conference on Principles and Practice of Constraint Programming, Providence, RI, p.97-102 (2007)
Abstract:
In spite of the effectiveness of Constraint Programming languages and tools, modeling remains an art and still requires a significant involvement from a CP expert. My goal is to alleviate the load of the CP expert, and as such I propose a framework that enriches a ‘generic’ constraint model of a domain area with a set of constraints that are applicable to a particular problem instance. The additional constraints used to enrich the model are selected from a constraint library; and a set of rules determines their applicability given the input data from the instance at hand. I address application domains where problem instances slightly vary in terms of the applicable constraints, such as the Building Identification (BID) problem [1]. I also discuss domains that can benefit from my approach (e.g., machine translation and circuit layout). An ex-tended version of this paper is also submitted to the technical program of CP-07.
