 | 2012 |
|---|
| 9 |       | Sonia Estévez Martín,
Jesús Correas Fernández,
Fernando Sáenz-Pérez:
Extending the TOY System with the ECLiPSe Solver over Sets of Integers.
FLOPS 2012: 120-135 |
| 2009 |
|---|
| 8 | | Sonia Estévez Martín,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda,
Fernando Sáenz-Pérez,
Antonio J. Fernández:
On the Cooperation of the Constraint Domains H, R and FD in CFLP
CoRR abs/0904.2136: (2009) |
| 7 | | Sonia Estévez Martín,
Antonio José Fernández Leiva,
Fernando Sáenz-Pérez:
TOY: A System for Experimenting with Cooperation of Constraint Domains.
Electr. Notes Theor. Comput. Sci. 258(1): 79-91 (2009) |
| 6 | | Sonia Estévez Martín,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda,
Fernando Sáenz-Pérez,
Antonio J. Fernández:
On the cooperation of the constraint domains , R, and F in CFLP.
TPLP 9(4): 415-527 (2009) |
| 2008 |
|---|
| 5 | | Sonia Estévez Martín,
Antonio J. Fernández,
Fernando Sáenz-Pérez:
Playing with TOY: Constraints and Domain Cooperation.
ESOP 2008: 112-115 |
| 4 | | Sonia Estévez Martín,
Antonio J. Fernández,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Fernando Sáenz-Pérez,
Rafael del Vado Vírseda:
Cooperation of constraint domains in the TOY system.
PPDP 2008: 258-268 |
| 2007 |
|---|
| 3 | | Sonia Estévez Martín,
Antonio J. Fernández,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Rafael del Vado Vírseda:
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.
Electr. Notes Theor. Comput. Sci. 177: 235-252 (2007) |
| 2 | | Sonia Estévez Martín,
Antonio J. Fernández,
Maria Teresa Hortalá-González,
Mario Rodríguez-Artalejo,
Fernando Sáenz-Pérez,
Rafael del Vado Vírseda:
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming.
Electr. Notes Theor. Comput. Sci. 188: 37-51 (2007) |
| 2005 |
|---|
| 1 | | Sonia Estévez Martín,
Rafael del Vado Vírseda:
Designing an efficient computation strategy in CFLP(FD) using definitional trees.
WCFLP 2005: 23-31 |
Data released under the ODC-BY 1.0 license — See also our legal information page