Recherche

Mots-clés : problèmes de satisfaction de contraintes (valués), optimisation, comptage, méthodes structurelles, décomposition arborescente, classes polynomiales

Sélection de publications

  • P. Jégou et C. Terrioux. Hybrid backtracking bounded by tree-decomposition of constraint networks.
    In Artificial Intelligence, 146, pages 43-75, 2003. doi pdf
  • P. Jégou et C. Terrioux. Decomposition and Good Recording.
    In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), pages 196-200, 2004. pdf
  • M. Cooper, A. El Mouelhi, C. Terrioux et 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 et 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 et 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 et C. Terrioux. Combining Restarts, Nogoods and Bag-Connected Decompositions for Solving CSPs.
    In Constraints, 22(2), pages 191-229, 2017. doi pdf

+ Liste de publications par type

+ Liste de publications par année

Participation à des projets

  • projet STAL-DEC-OPT (décembre 2005 - décembre 2008) : ce projet ANR concernait la résolution de problèmes d’optimisation et de dénombrement sous contraintes via la définition de nouvelles méthodes hybridant décomposition et propagation de contraintes (filtrage par cohérence locale).
  • projet TUPLES (octobre 2010 - avril 2015) : le projet TUPLES (pour Tractability for Understanding and Pushing forward the Limits of Efficient Solvers, ANR-2010-BLAN-0210) avait pour principal objectif de repousser significativement les limites des solveurs CSP et SAT les plus efficaces à l’aide des classes polynomiales des problèmes CSP et SAT.

Encadrements de thèse

  • Samba Ndojh Ndiaye (2007) : Calcul et exploitation de recouvrements acycliques pour la résolution de (V)CSP (co-encadré avec Philippe Jégou)
  • Achref El Mouelhi (2014) : Classes polynomiales pour CSP : de la théorie à la pratique (co-encadré avec Philippe Jégou)
  • Hanan Kanso (2017) : Exploitation des décompositions de graphes et des techniques de redémarrage pour la résolution des problèmes de satisfaction de contraintes (co-encadré avec Philippe Jégou)

Comités de programmes et relectures

  • Participation à des comités de programmes
    • Conférences internationales :
      • AAAI Conference on Artificial Intelligence (AAAI) - 2008
      • International Joint Conference on Artificial Intelligence (IJCAI) - 2009, 2015, 2016
    • Conférences nationales :
      • 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
  • Relectures
    • Revues internationales :
      • AI Communications - 2013
      • Artificial Intelligence Journal - 2005
      • RAIRO Operations Research - 2014
      • Studia Informatica Universalis - 2005
    • Conférences internationales :
      • 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
      • European Conference on Artificial Intelligence (ECAI) - 2008
      • 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

Organisation de conférences ou de workshop

  • Participation à l'organisation de l'Ecole Thématique du GDR-PRC-I3 : Nouveaux défis en Sciences de l'Information : Documents & Evolution (septembre 2000)
  • Co-organisateur du workshop SOFT 2006
  • Membre du Comité d'organisation de la conférence internationale TABLEAUX 2007
  • Membre du Comité d'organisation de JFPC et de JIAF 2013