Rainer Weigel Christian Bliek On Reformulation of Constraint Satisfaction Problems. 254-258 1998 ECAI db/conf/ecai/ecai98.html#WeigelB98