website design software
Constraint Programming

DISCLAIMER:This directory is probably not updated, and it may contain pdf files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.

A list of publications related to Constraint Programming (CP) since 1998 (reverse chronological order) :

  • [CES18a] [BibTeX] J. Correas, S. Estévez Martín, F. Sáenz-Pérez, "Enhancing set constraint solvers with bound consistency", Expert Systems with Applications, Volume 92, 2018.
  • [CCES12a] [BibTeX] I. Castiñeiras, J. Correas, S. Estévez-Martín, and F. Sáenz-Pérez, “TOY: A CFLP Language and System”, ALP Newsletter, September, 2012.
  • [ECS12a] [BibTeX] S. Estévez-Martín, J. Correas and F. Sáenz-Pérez, "Extending the TOY System with the ECLIPSE Solver over Sets of Integers", Eleventh International Symposium on Functional and Logic Programming, FLOPS 2012, LNCS 7294, pp. 120-135, Kobe, Japan, May, 2012.
  • [ECS11a] [BibTeX] S. Estévez-Martín, J. Correas and F. Sáenz-Pérez, "Embedding a Constraints Solver over Sets of Integers in TOY", XI Jornadas sobre Programación y Lenguajes, PROLE2011 (SISTEDES), ISBN: 978-84-9749-487-8, pp. 62-77, A Coruña, Spain, September, 2011. Ongoing work.
  • [ACGS11c] [BibTeX] J. Almendros-Jiménez, R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez, "XPath Query Processing in a Functional-Logic Language", XI Jornadas sobre Programación y Lenguajes, PROLE2011 (SISTEDES), ISBN: 978-84-9749-487-8, pp. 31-45, A Coruña, Spain, September, 2011.
  • [ACGS11b] [BibTeX] J. Almendros-Jiménez, R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez, "A Declarative Embedding of XQuery  in a Functional-Logic Language", In 21st International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2011, LNCS, Springer, Odense, Denmark, July, 2011. Preproceedings
  • [ACGS11d] [BibTeX] J. Almendros-Jiménez, R. Caballero, Y. García-Ruiz and F. Sáenz-Pérez, "Embedding XQuery in TOY", Technical Report SIC-04/11, Facultad de Informática, Universidad Complutense de Madrid, 2011.
  • [CGS11a] [BibTeX] R. Caballero, Y. García-Ruiz, and F. Sáenz-Pérez, "Integrating XPath with the Functional-Logic Language Toy”, LNCS 6539, Thirteenth International Symposium on Practical Aspects of Declarative Languages, PADL'11, pp. 145-159, January, 2011.
  • [CS10] [BibTeX] I. Castiñeiras and F. Sáenz-Pérez, "Integrating ILOG CP Technology into TOY", 18th International Workshop on Functional and Constraint Logic Programming, Revised Selected Papers, LNCS 5979, ISBN: 978-3-642-11998-9, ISSN: 0302-9743, pp. 27-43, Springer, Brasilia, Brasil, June, 2009.
  • [EFS09c] [BibTeX] S. Estévez-Martín, A. J. Fernández and F. Sáenz-Pérez, "TOY: A System for Experimenting with Cooperation of Constraint Domains", Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661, Volume 258,  Issue 1, pp. 77-91, December, 2009.
  • [EFS09b] [BibTeX] S. Estévez-Martín, A. J. Fernández and F. Sáenz-Pérez, "TOY: A System for Experimenting with Cooperation of Constraint Domains", IX Jornadas sobre Programación y Lenguajes, PROLE'09, ISBN: 978-84-692-4600-9, pp. 119-128, San Sebastián, Spain, September, 2009.
  • [CS09b] [BibTeX] I. Castiñeiras y F. Sáenz-Pérez, "Integración de ILOG CP en TOY", IX Jornadas sobre Programación y Lenguajes, PROLE'09, ISBN: 978-84-692-4600-9, pp. 201-215, San Sebastián, Spain,
    September, 2009.
  • [EFS09a] [BibTeX] S. Estévez-Martín, A. J. Fernández and F. Sáenz-Pérez, "Cooperation of the Finite Domain and Set Solvers in TOY", IX Jornadas sobre Programación y Lenguajes, PROLE'09, ISBN: 978-84-692-4600-9,
    pp. 217-226 (10 pages), San Sebastián, Spain, September, 2009.
  • [CS09a] [BibTeX] N. Castiñeiras and F. Sáenz-Pérez, “Integrating ILOG CP technology into TOY”, WFLP’09, pp. 189-203, Brasilia, Brasil, June, 2009.
  • [EFH+09] [BibTeX] S. Estévez-Martín, A. J. Fernández, T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, and R. Del Vado-Vírseda, “On the Cooperation of the Constraint Domains H, R and FD in CFLP”, Theory and Practice of Logic Programming, Cambridge University Press, ISSN: 1471-0684, Vol. 9, Issue 04, pp. 415-527, July 2009.
  • [EFH+08] [BibTeX] S. Estévez-Martín, A. J. Fernández, T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, and R. Del Vado-Vírseda, “Cooperation of Constraint Domains in the TOY System”, 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP’08, ISBN: 978-1-60558-117-0, pp. 258-268, Valencia, Spain, July, 2008.
  • [EFS08] [BibTeX] S. Estévez-Martín, A. J. Fernández and Fernando Sáenz-Pérez.“Playing with TOY: Constraints and Domain Cooperation”, 17th European Symposium on Programming (ESOP'08), Springer, LNCS 4960, pp. 112-115, ISSN: 0302-9743, Budapest, Hungría, March, 2008.
  • [EFS07] [BibTeX] S. Estévez-Martín, A. J. Fernández and Fernando Sáenz-Pérez. “About Implementing a Constraint Functional Logic Programming System with Solver Cooperation”. Proceedings of Ciclops'07, pp. 57-71, September, 2007.
  • [FHSV07] [BibTeX] A. J. Fernández, T. Hortalá-González, F. Sáenz-Pérez and R. del Vado-Vírseda, “Constraint Functional Logic Programming over Finite Domains”, Theory and Practice of Logic Programming, Vol. 7, Number 5, Cambridge University Press, ISSN: 1471-0684, pp: 537-582, 2007.
  • [EFH+07] [BibTeX] S. Estévez-Martín, A. J. Fernández, T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez and R. del Vado-Vírseda, “A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming”, ENTCS 188, Elsevier,  ISSN: 1571-0661, pp. 37-51. Journal version corresponding to [EFH+06].
  • [EFS06] [BibTeX] S. Estévez-Martín, A. J. Fernández, and F. Sáenz-Pérez, “Implementing TOY, a Constraint Functional Logic Programming with Solver Cooperation”, Technical Report LCC ITI 06-8, Universidad de Málaga, November 2006.
  • [EFH+06] [BibTeX] S. Estévez-Martín, A. J. Fernández, T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, and R. Del Vado-Vírseda, “A Proposal for the Cooperation of Solvers in Constraint Functional Locic Programming”, Programación y Lenguajes, P. Lucio y F. Orejas (editores), CIMNE, pp. 153-167 (15 páginas), ISBN: 84-95999-84-6, Barcelona, Spain, Septiembre, 2006.
  • [FHS05c] [BibTeX] A. Fernández, T. Hortalá and F. Sáenz, “Programming with TOY(FD)”, Eleventh International Conference on Principles and Practice of Constraint Programming, CP 2005, Lecture Notes in Computer Science 3709, ISSN: 0302-9743, Springer-Verlag, Sitges (Spain), October 2005, pp. 878.
  • [FHS05b] [BibTeX] A. Fernández, T. Hortalá and F. Sáenz, “Solving FD Constraints in TOY(FD)”, First Intl. Workshop on Constraint Programming Beyond Finite Integer Domains, BeyondFD, Sitges (Spain), October 2005, pp. 1-15.
  • [FHS05a] [BibTeX] A. Fernández, T. Hortalá and F. Sáenz, “Using the Toy(FD) Constraint Functional Logic System”, PROLE’05, ISBN: 84-9732-438-2, Thomson, Granada (Spain), September 2005, pp. 115-120.
  • [FHS03c] [BibTeX] A. Fernández, T. Hortalá and F. Sáenz, “Toy(FD): Sketch of Operational Semantics”, CP’03, Lecture Notes in Computer Science 2833, ISBN: 3-540-20202-1, Springer-Verlag, Kinsale (Ireland), October 2003.
  • [FHS03b] [BibTeX] A. Fernández, T. Hortalá and F. Sáenz, “Solving Combinatorial Problems with a Constraint Functional Logic Language”, PADL’03, Lecture Notes in Computer Science 2562, ISBN: 3-540-00389-4, Springer-Verlag, New Orleans (USA), January 2003.
    Second best paper
  • [FHS03a] [BibTeX] A. Fernández, T. Hortalá and F. Sáenz, “A Constraint Functional Logic Language for Solving Combinatorial Problems”, Research and development in intelligent systems, Vol. XIX, ISBN: 1-85233-674-9, Springer-Verlag, Cambridge (United Kingdom), January 2003.
    Third best paper
  • [FHS02b] [BibTeX] A. Fernández, T. Hortalá and F. Sáenz, “A Constraint Functional Logic Language over Finite Domains”, Segundas jornadas sobre programación y lenguajes (PROLE 2002), Madrid (Spain), November 2002.
  • [FHS02a] [BibTeX] A. Fernández, T. Hortalá and F. Sáenz, "A Functional Logic Language with Finite Domain Constraints", Proceedings of the Joint Conference on Declarative Programming AGP 2002, Septiembre, 2002, pp. 7-22, Depósito Legal M-40388-2002.
  • [HS02] [BibTeX] T. Hortalá and F. Sáenz, "Interfacing a Functional Logic Language with a Finite Domain Solver", 11th International Workshop on Functional and Logic Programming, WFLP 2002, June, 2002, pp. 197-210.
  • [SILH01] [BibTeX] F. Sáenz, A. Ibarra, J. Lanchares, J.I. Hidalgo, “Pipelined Genetic Architecture with Fitness on the Fly”, Euromicro Symposium on Digital Systems Design, DSD2001, IEEE Press, 2001, ISBN 0-7695-1239-9.
  • [RASR00] [BibTeX] A. Ruiz-Andino, L. Araujo, F. Sáenz and J. Ruz, "A Hybrid Evolutionary Approach for Solving Constrained Optimization Problems over Finite Domains", IEEE Transactions on Evolutionary Computation, IEEE Press, pp. 353-372,  November 2000.
  • [RASR99b] [BibTeX] A. Ruiz-Andino, L. Araujo, F. Sáenz and J. Ruz, "Parallel Execution Models for Constraint Programming over Finite Domains", International Conference on Principles and Practice of Declarative Programming, PPDP'99, Lecture Notes in Computer Science (LNCS) 1702, Springer, pp.134-151, 1999.
  • [RASR99a] [BibTeX] A. Ruiz-Andino, L. Araujo, F. Sáenz and J. Ruz, "Parallel Implementation of Constraint Solving", Fifth International Parallel Computing Technologies Conference, PaCT-99,  Lecture Notes in Computer Science (LNCS) 1662, Springer,  pp. 466-471, 1999.
  • [RASR98c] [BibTeX] A. Ruiz-Andino, L. Araujo, F. Sáenz and J. Ruz, "Parallel Execution Models for Constraint Propagation", Fourth International Conference on Principles and Practice of Constraint Programming '98, CP'98, Lecture Notes in Computer Science (LNCS) 1520, Springer,  pp. 473-473, October, 1998.
  • [RASR98b] [BibTeX] A. Ruiz-Andino, L. Araujo, F. Sáenz and J. Ruz, "Parallel Evolutionary Optimisation with Constraint Propagation", Fifth International Conference On Parallel Problem Solving From Nature, PPSN V, Lecture Notes in Computer Science (LNCS) 1498, Springer,  pp. 270-279, September, 1998.
  • [RASR98a] [BibTeX] A. Ruiz-Andino, L. Araujo, F. Sáenz and J. Ruz, "Parallel Arc-Consistency for Functional Constraints", Workshop on Implementation Technologies for Programming Languages based on Logic, JICSLP-98, The University of Manchester, pp. 86-100, June, 1998.