Research activities

Keywords: (valued) constraint satisfaction problem, optimization, counting, structural methods, tree-decomposition, tractable classes

Some selected publications

  • P. Jégou and C. Terrioux. Hybrid backtracking bounded by tree-decomposition of constraint networks.
    In Artificial Intelligence, 146, pages 43-75, 2003. doi pdf
  • P. Jégou and C. Terrioux. Decomposition and Good Recording.
    In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), pages 196-200, 2004. pdf
  • M. Cooper, A. El Mouelhi, C. Terrioux and B. Zanuttini. On Broken Triangles.
    In Proceedings of the 20th International Conference on Principles and Practice of Constraint Programming (CP), pages 9-24, 2014. (best technical paper) doi pdf
  • A. El Mouelhi, P. Jégou and C. Terrioux. A Hybrid Tractable Class for Non-Binary CSPs.
    In Constraints, 20 (4), pages 383-413, 2015. doi pdf
  • M. Cooper, A. Duchein, A. El Mouelhi, G. Escamocher, C. Terrioux and B. Zanuttini. From Value Merging to a Tractable Class of General-Arity Constraint Satisfaction Problems.
    In Artificial Intelligence, 234, pages 196-218, 2016. doi pdf
  • P. Jégou and C. Terrioux. Combining Restarts, Nogoods and Bag-Connected Decompositions for Solving CSPs.
    In Constraints, 22(2), pages 191-229, 2017. doi pdf

+ List of publications by type

+ List of publications by year

Participation to funded projects

  • STAL-DEC-OPT project (December 2005 - December 2008): Strategies and algorithms for the decomposition and the solving of constraint optimization problems, national grant founded by the ANR (The French National Research Agency).
  • TUPLES project (October 2010 - April 2015): Tractability for Understanding and Pushing forward the Limits of Efficient Solving (TUPLES), national grant ANR-2010-BLAN-0210.
  • DEMOGRAPH project (April 2017 - ...): the ANR project DEMOGRAPH (Decomposition of Graphical Models) aims to study, from a theoretical and practical point of view, the interest of different notions of graph decompositions for the solving of graphical models.

Ph.D. supervision

  • Samba Ndojh Ndiaye (2004-2007): Computation and exploitation of acyclic covering for solving (Valued) CSP (co-supervised with Philippe Jégou)
  • Achref El Mouelhi (2011-2014): Tractable classes for CSP: from theory to practice (co-supervised with Philippe Jégou)
  • Hanan Kanso (2014-2017): Exploitation of decompositions and restart techniques for solving constraint satisfaction problems (co-supervised with Philippe Jégou)
  • Nabil Adrar (2018-...): New decompositions of graphs for solving graphical models (co-supervised with Philippe Jégou)

Program committees and reviewing

  • Program chair of JFPC 2018
  • Participation to program committees
    • International conferences:
      • AAAI Conference on Artificial Intelligence (AAAI) - 2008
      • European Conference on Artificial Intelligence (ECAI) - 2008
      • International Joint Conference on Artificial Intelligence (IJCAI) - 2009, 2015, 2016, 2018
    • National conferences:
      • Journées Francophones de Programmation par Contraintes (JFPC) - 2009, 2010, 2015, 2016, 2017
      • Journées nationales de la résolution pratique des problèmes NP-Complets (JNPC) - 2003, 2004
      • Reconnaissance des Formes et Intelligence Artificielle (RFIA) - 2008
  • Reviewing
    • International journals:
      • AI Communications - 2013
      • Artificial Intelligence Journal - 2005
      • Journal of Artificial Intelligence Research - 2017
      • RAIRO Operations Research - 2014
      • Studia Informatica Universalis - 2005
    • International conferences:
      • AAAI Conference on Artificial Intelligence (AAAI) - 2007, 2016
      • ACM Symposium on Applied Computing (SAC), Special Track on Artificial Intelligence Computational Logic and Image Analysis - 2004
      • IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Special Track on SAT and CSP Technologies - 2013
      • International Conference on Principles and Practice of Constraint Programming (CP) - 2006, 2014, 2015, 2016
      • International Joint Conference on Artificial Intelligence (IJCAI) - 2003

Organization

  • Participation in the organization of the Thematic School of the GDR-PRC-I3: "Nouveaux défis en Sciences de l'Information : Documents & Evolution" (September 2000)
  • Co-chair of the workshop SOFT 2006
  • Organizing comittee member of the international conferenceTABLEAUX 2007
  • Organizing comittee member of the national conferences JFPC and JIAF 2013