 | 2009 |
|---|
| 7 |       | 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) |
| 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 |
