Permutation Problems and Channelling Constraints

When writing a constraint program, we have to decide what to make the decision variable, and how to represent the constraints on these variables. In many cases, there is considerable choice for the decision variables. For example, with permutation problems, we can choose between a primal and a dual representation. In the dual representation, dual variables stand for the primal values, whilst dual values stand for the primal variables. By means of channelling constraints, a combined model can have both primal and dual variables. In this paper, we perform an extensive theoretical and empirical study of these different models. Our results will aid constraint programmers to choose a model for a permutation problem. They also illustrate a general methodology for comparing different constraint models.

• Type: Conference
• Year: 2001
• Where: LPAR
• Authors: Toby Walsh
• Keywords: Automated Reasoning, Decision Variables, Dual Representation, Dual Variables, LPAR 2001