A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs.

Grard Ferrand, Arnaud Lallouet

Browse the full ICLP paper archive.