From generic to specific: off-line optimization for a general constraint solver.

Ye Zhang, Torben Amtoft, Flemming Nielson

Browse the full GPCE paper archive.