1. Cheng, B.M.W., Choi, K.M.F., Lee, J.H.M., Wu, J.C.K.: Increasing constraint propagation by redundant modeling: an experience report. Constraints 4, 167–192 (1999)
2. Choueiry, B.Y., Noubir, G.: On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. In: AAAI 1998, pp. 326–333 (1998)
3. Frisch, A.M., Hnich, B., Miguel, I., Smith, B.M., Walsh, T.: Towards Model Reformulation at Multiple Levels of Abstraction. In: Frisch, A.M. (ed.) Proceedings of the International Workshop on Reformulating Constraint Satisfaction Problems: Towards Systematisation and Automation (2002)
4. Frisch, A.M., Miguel, I., Walsh, T.: Modelling a Steel Mill Slab Design Problem. In: Proceedings of the IJCAI 2001 Workshop on Modelling and Solving Problems with Constraints, pp. 39–45 (2001)
5. Gent, I.P., Smith, B.M.: Symmetry Breaking During Search in Constraint Programming. In: Horn, W. (ed.) Proceedings ECAI 2000, pp. 599–603 (2000)