Finite type extensions in constraint programming.

Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes

Browse the full PPDP paper archive.