Helmut Simonis Proc. 4th Int. Works. Modelling and Reformulating Constraint Satisfaction Problems, Brahim Hnich, Patrick Prosser, and Barbara Smith, ed., 2005, pp. 13–27 http://4c.ucc.ie/~brahim/mod-proc.pdf
Cites: