of Eric Monfroy

Books and proceedings

  1. K.R. Apt, A.C. Kakas, E. Monfroy, and F. Rossi, editors. New Trends in Constraints, Joint ERCIM/Compulog Net Workshop, October 1999, Selected papers, volume 1865 of LNCS, 2000. SV. ISBN: 3-540-67885-9.

Articles in journal, book chapters

  1. Frédéric Lardeux and Eric Monfroy. Réduction et Encodage des Contraintes Ensemblistes en SAT. Douziemes Journees Francophones de Programmation par Contraintes, pp 153-162, 2016.
  2. Frédéric Lardeux and Eric Monfroy. From Declarative Set Constraint Models to ``Good'' SAT Instances, pages 76-87. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-13770-4. [WWW] [doi:10.1007/978-3-319-13770-4_8]
  3. 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. Sebastian Brand and Eric Monfroy. Deductive Generation of Constraint Propagation Rules. In G. Vidal, editor, RULE '03: 4th Intl. Workshop on Rule-Based Programming, volume 86(2) of ENTCS, pages 45-60, September 2003. Elsevier. Keyword(s): program generation.
  2. Eric Monfroy and Carlos Castro. Basic components for constraint solver cooperations. In SAC '03: Proc. 2003 ACM symposium on Applied Computing, New York, NY, USA, pages 367-374, 2003. ACM. ISBN: 1-58113-624-2. [doi:10.1145/952532.952606]
  3. Eric Monfroy, Michael Rusinowitch, and René Schott. Implementing non-linear constraints with cooperative solvers. In SAC '96: Proc. 1996 ACM symposium on Applied Computing, pages 63-72, 1996. ACM Press. ISBN: 0-89791-820-7. [doi:10.1145/331119.331147]


  1. Eric Monfroy. Constraint Handling Rules by Thom Frühwirth, Cambridge University Press, 2009, 2010. Note: Book review (to appear in Theory and Practice of Logic Programming). [doi:10.1017/S1471068410000074]