Publicaciones en las que colabora con SONIA ESTÉVEZ MARTÍN (7)

2012

  1. Extending the TOY system with the ECL iPS e solver over sets of integers

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. Cooperation of the finite domain and set solvers in TOY

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

  2. TOY: A System for Experimenting with Cooperation of Constraint Domains

    Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 79-91

  3. TOY: a system for experimenting with cooperation of constraint domains

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

2008

  1. Cooperation of constraint domains in the toy system

    PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

  2. Playing with TOY: Constraints and domain cooperation

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

    Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 37-51