of year 2001

Books and proceedings

  1. R. De Nicola and H. Sondergaard, editors. PPDP01l, September 2001. ACM. ISBN: 1-58113-388-X.


  1. 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. 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]
  2. Thom Frühwirth and Slim Abdennadher. The Munich Rent Advisor: A success for logic programming on the Internet. TPLP, 1(3):303-319, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401001181] Keyword(s): applications.

Conference articles

  1. Slim Abdennadher and Christophe Rigotti. Using confluence to generate rule-based constraint solvers. In R. De Nicola and H. Sondergaard, editors, PPDP01l, pages 127-135, September 2001. ACM. ISBN: 1-58113-388-X. Keyword(s): confluence.
  2. Slim Abdennadher and Matthias Saft. A visualization tool for Constraint Handling Rules. In A. Kusalik, editor, WLPE01, December 2001.
  3. Thom Frühwirth. On the Number of Rule Applications in Constraint Programs. In A. Dovier, M. Chiara Meo, and A. Omicini, editors, Declarative Programming - Selected Papers from AGP 2000, volume 48 of ENTCS, pages 147-166, June 2001. Elsevier. Keyword(s): complexity, termination.
  4. Joost Geurts, Jacco van Ossenbruggen, and Lynda Hardman. Application-Specific Constraints for Multimedia Presentation Generation. In MMM '01: Proc. 8th Intl. Conf. on Multimedia Modeling, pages 247-266, November 2001. Keyword(s): applications.
  5. Armin Wolf. Adaptive Constraint Handling with CHR in Java. In T. Walsh, editor, CP01, volume 2239 of LNCS, pages 256-270, 2001. SV. ISBN: 3-540-42863-1. Keyword(s): Java, extensions.
  6. Armin Wolf. Attributed Variables for Dynamic Constraint Solving. In Proc. 14th Intl. Conf. Applications of Prolog, pages 211-219, October 2001. Prolog Association of Japan. Keyword(s): implementation, extensions.

Internal reports

  1. Martin Sulzmann. TIE: A CHR-based Type Inference Engine. Technical report TR2001/27, University of Melbourne, deptcw, 2001. Keyword(s): type systems.


  1. Ekkehard Krämer. A Generic Search Engine for a Java Constraint Kit. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, January 2001. Keyword(s): search, Java.