Towards the Systematic Generation of Channelling Constraints

Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations of the same variable. However, the combined models generated by Conjure do not include the channelling constraints needed to maintain the consistency between the alternative representations. In this paper we show that by using only the tools already provided by the Conjure system we can generate correct channelling constraints.

• Type: Conference
• Year: 2005
• Where: CP
• Authors: Bernadette Martínez Hernández, Alan M. Frisch
• Keywords: Channelling Constraints, Conjure Generates Csp, Correct Channelling Constraints, CP 2005, Programming Languages