The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.

Kim Marriott, Peter J. Stuckey

Browse the full POPL paper archive.