Integrating an algorithm for solving linear constraints in finite domains in the language CHIPNicolas Beldiceanu and Evelyne Contejean and Helmut Simonis |
Abstract: CHIP is a constraint logic programming language originally designed and developed at ECRC [2], and further developed and marketed by COSYTEC. CHIP is able to solve among other constraints (on rationals and booleans), linear constraints over finite integer domains. In this case, its basic mechanism is the combination of constraint propagation and enumeration of the values in the domain associated with the given constraints. In this paper we present an original enumeration method based on an algorithm for solving systems of linear Diophantine equations due to E. Contejean and H. Devie [1]. The difficulty is to show that this enumeration method is compatible with constraint propagation, and that every solution is computed exactly once.
This document was translated from L^{A}T_{E}X by H^{E}V^{E}A.