Extending the TOY System with the ECLiPSe Solver over Sets of Integers.

Sonia Estvez Martn, Jess Correas Fernndez, Fernando Senz-Prez

Browse the full FLOPS paper archive.