Ye Zhang 0002 Torben Amtoft Flemming Nielson From generic to specific: off-line optimization for a general constraint solver. 45-54 2008 GPCE http://doi.acm.org/10.1145/1449913.1449922 conf/gpce/2008 db/conf/gpce/gpce2008.html#ZhangAN08