about 'Constraint programming'

Books and proceedings

  1. Christian Schulte, editor. Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings, volume 8124 of Lecture Notes in Computer Science, 2013. Springer. ISBN: 978-3-642-40626-3.
  2. Thom Frühwirth and Slim Abdennadher. Essentials of Constraint Programming. SV, 2003. ISBN: 3540676236. Keyword(s): tutorial.


  1. Peter Van Weert. Extension and Optimising Compilation of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, May 2010. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, Java.
  2. Leslie De Koninck. Execution Control for Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): priorities, complexity, related formalisms.
  3. Slim Abdennadher. Rule-based Constraint Programming: Theory and Practice. Habilitationsschrift, Institute of Computer Science, LMU, Munich, Germany, July 2001.

Articles in journal, book chapters

  1. Henning Christiansen. Constraint Programming for Context Comprehension, pages 401-418. Springer New York, New York, NY, 2014. ISBN: 978-1-4939-1887-4. [WWW] [doi:10.1007/978-1-4939-1887-4_25]
  2. Carlos Olarte, Camilo Rueda, and Frank D. Valencia. Models and emerging trends of concurrent constraint programming. Constraints, 18(4):535-578, 2013. ISSN: 1572-9354. [WWW] [doi:10.1007/s10601-013-9145-3]
  3. Rémy Haemmerlé. Observational equivalences for linear logic concurrent constraint languages. In John Gallagher and Michael Gelfond, editors, ICLP11l, volume 11(4--5) of TPLP, pages 469-485. CUP, July 2011. [doi:10.1017/S1471068411000123] Keyword(s): linear logic, semantics, confluence, related formalisms.
  4. Jacques Robin, Jairson Vitorino, and Armin Wolf. Constraint Programming Architectures: Review and a New Proposal. j-jucs, 13(6):701-720, 2007. [WWW]
  5. Krzysztof R. Apt and Eric Monfroy. Constraint programming viewed as rule-based programming. TPLP, 1(6):713-750, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401000072]

Conference articles

  1. Jerzy Karczmarczuk. Programming for the Humanities. In Proceedings of the 8th International Conference on Computer Supported Education, CSEDU 2016, Portugal, pages 298-305, 2016. SCITEPRESS - Science and Technology Publications, Lda. ISBN: 978-989-758-179-3. [WWW] [doi:10.5220/0005791202980305] Keyword(s): Abstraction, Constraint programming, Logic, Non-determinism., Prolog.
  2. Thierry Martinez. Semantics-preserving translations between Linear Concurrent Constraint Programming and Constraint Handling Rules. In M. Fernández, editor, PPDP10l, pages 57-66, July 2010. ACM. [doi:10.1145/1836089.1836097] Keyword(s): semantics, related formalisms, linear logic.
  3. Edmund S.L. Lam and Martin Sulzmann. Finally, A Comparison Between Constraint Handling Rules and Join-Calculus. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 51-66, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  4. Frank Raiser. Semi-automatic generation of CHR solvers from global constraint automata. In Peter J. Stuckey, editor, CP08l, volume 5202 of LNCS, pages 588-592, September 2008. SV. [doi:10.1007/978-3-540-85958-1_47] Keyword(s): program generation.
  5. Thom Frühwirth. Description Logic and Rules the CHR Way. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 49-61, September 2007. Note: Extended Abstract. [PDF] Keyword(s): related formalisms, CHR 2007, CHR 2007, CHR 2007.
  6. Ben Krause and Tim Wahls. jmle: A Tool for Executing JML Specifications via Constraint Programming. In Formal Methods: Applications and Technology, volume 4346 of LNCS, pages 293-296, 2007. SV. [doi:10.1007/978-3-540-70952-7_19]
  7. Martin Sulzmann and Edmund S.L. Lam. Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 139-149, September 2007. [PDF] Keyword(s): CHR 2007, parallelism, CHR 2007, CHR 2007.
  8. Sebastian Brand. A Note on Redundant Rules in Rule-based Constraint Programming. In Joint ERCIM/CologNet Intl. Workshop on Constraint Solving and Constraint Logic Programming, Selected papers, volume 2627 of LNCS, pages 279-336, June 2002. SV. Keyword(s): optimizing compilation.
  9. Frank Morawietz. Chart Parsing and Constraint Programming. In M. Kay, editor, COLING '00: Proc. 18th Intl. Conf. on Computational Linguistics, jul/aug 2000. MK.
  10. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. On confluence of Constraint Handling Rules. In CP '96: Proc. Second Intl. Conf. Principles and Practice of Constraint Programming, volume 1118 of LNCS, pages 1-15, August 1996. SV. [doi:10.1007/3-540-61551-2_62] Keyword(s): confluence.