Publications on Modelling

Conference Papers

Symmetry-breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern -- A. M. Frisch, C. Jefferson, I. Miguel. ECAI 2004

Workshop Publications

Transforming and Refining Abstract Constraint Specifications -- A.M. Frisch, B. Hnich, I. Miguel, B. M. Smith, T. Walsh. Proceedings of CSCLP04: Joint Annual Workshop of ERCIM/Colognet on Constraint Solving and Constraint Logic Programming, 2004.

Generating Effective Constraint Programs: An Application of Automated Reasoning -- A.M. Frisch, C. Jefferson, B. Martinez-Hernandez, I. Miguel. Proceedings of the 11th Workshop on Automated Reasoning, 2004.

The Rules of Modelling: Towards Automatic Generation of Constraint Programs -- A. M. Frisch, C. Jefferson, B. Martinez-Hernandez, I. Miguel. 3rd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, CP 2004

Towards the Categorisation of Set and Multiset Representations in Constraint Satisfaction Problems -- C. Jefferson. A. M. Frisch. 3rd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, CP 2004

Towards Automatic Modelling of Constraint Satisfaction Problems: A System Based on Compositional Refinement -- A. Bakewell, A.M. Frisch, I. Miguel. Proceedings of the 2nd International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, pages 2--17, 2003.

Refining Abstract Specifications of Constraint Satisfaction Problems -- A.M. Frisch, I. Miguel, T. Walsh. Proceedings of the Tenth Workshop on Automated Reasoning, pages 29--31, 2003.

CGRASS: A System for Transforming Constraint Satisfaction Problems -- A. M. Frisch, I. Miguel, T. Walsh. Proceedings of the ERCIM/Colognet Workshop on Constraint Solving and Constraint Logic Programming LNAI 2627, pages 15-30, 2002.

This web-page is maintained by C. Jefferson, and was last changed on Mon 13 Sep 2004.