Constraint Propagation and Explanation over Novel Types by Abstract Compilation.

Graeme Gange, Peter J. Stuckey

Browse the full ICLP paper archive.