Publications

2011

S. N. Ndiaye et C. Solnon. Modélisation et résolution de problèmes de plus grands sous-graphes communs à l'aide de la programmation par contraintes. In Actes des 7èmes Journées Francophones de Programmation par Contraintes (JFPC'2011), pages 243-249, 2011.

2009

P. Jégou et S. N. Ndiaye. On the notion of cycles in hypergraphs. In Discrete Mathematics Journal, volume 309 (23-24), pages 6535-6543, 2009.

P. Jégou, S. N. Ndiaye et C. Terrioux. Combined Strategies for Decomposition-based Methods for solving CSPs. In Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2009), pages 184-192,2009.

P. Jégou, S. N. Ndiaye et C. Terrioux. Stratégies hybrides pour des décompositions optimales et efficaces. In Actes des 5èmes Journées Francophones de Programmation par Contraintes (JFPC'2009), pages 35-44, 2009.

2008

S. N. Ndiaye, P. Jégou et C. Terrioux. Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems. In Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), pages 299-306, 2008. [pdf]

P. Jégou, S. N. Ndiaye et C. Terrioux. A New Evaluation of Forward Checking and its Consequences on Efficiency of Tools for Decomposition of CSPs. In Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), pages 486-490, 2008. [pdf]

P. Jégou, S. N. Ndiaye et C. Terrioux. Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems. In Proceedings of the 4th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2008), AAAI 2008, pages 61-66, 2008. [pdf]

P. Jégou, S. N. Ndiaye et C. Terrioux. Complexité de Forward Checking et Hiérarchie des Décompositions de CSP Revisitées. In Actes des 4èmes Journées Francophones de Programmation par Contraintes (JFPC'2008), pages 153-163, 2008. [pdf]

P. Jégou, S. N. Ndiaye et C. Terrioux. A new Evaluation of Forward Checking and its Consequences on Efficiency of Tools for Decomposition of CSPs. Rapport de Recherche LSIS/2008/002, Laboratoire des Sciences de l'Information et des Systèmes (LSIS), 2008.

2007

P. Jégou, S. N. Ndiaye, C. Terrioux. Dynamic Heuristics for Branch and Bound on Tree-Decomposition of Weighted CSPs. In ISTE (Ed.), "Trends in Constraint Programming", ch. 20, pp. 317-332, 2007. [pdf]

P. Jégou, S. N. Ndiaye, C. Terrioux. Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSP. In International Joint Conference on Artificial Intelligence (IJCAI'07), pp. 112-117, 2007. [pdf]

P. Jégou, S. N. Ndiaye, C. Terrioux. Dynamic Management of Heuristics for Solving Structured CSPs. In the Twelfth International Conference on Principles and Practice of Constraint Programming (CP-2007), pp. 364-378, Springer, LNCS, 2007. [pdf]

S. N. Ndiaye, C. Terrioux. A generic bounded backtracking framework for solving CSPs. In Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP) 2007, pp. 107-121, 2007. [pdf]

P. Jégou, S. N. Ndiaye, C. Terrioux. Recouvrement de problèmes par des hypergraphes acycliques : analyses théorique et expérimentale. In Actes des 3èmes Journées Francophones de Programmation par Contraintes (JFPC'2007), pp. 275-284, 2007. [pdf]

S. N. Ndiaye, C. Terrioux. Un schéma générique d'algorithmes énumératifs avec (no)good recording pour la résolution bornée de CSP. In Actes des 3èmes Journées Francophones de Programmation par Contraintes (JFPC'2007), pp. 213-222, 2007. [pdf]

2006

P. Jégou, S. N. Ndiaye, C. Terrioux. An extension of complexity bounds and dynamic heuristics for tree-decompositions of CSP. In Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP-2006), Springer, LNCS, pp. 741-745, 2006. [pdf]

P. Jégou, S. N. Ndiaye, C. Terrioux. Dynamic heuristics for branch and bound search on tree-decomposition of Weighted CSPs. In Proceedings of the Eighth International Workshop on Preferences and Soft Constraints (Soft-2006), pp. 63-77, 2006. [pdf]

P. Jégou, S. N. Ndiaye, C. Terrioux. Strategies and Heuristics for Exploiting Tree-decompositions of Constraint Networks. In Inference methods based on graphical structures of knowledge (WIGSK'06), ECAI workshop, pp. 13-18, 2006. [pdf]

P. Jégou, S. N. Ndiaye, C. Terrioux. Heuristiques pour la recherche énumérative bornée : Vers une libération de l'ordre. In Actes des 2èmes Journées Francophones de Programmation par Contraintes (JFPC'2006), pp. 219-228, 2006. [pdf]

S. N. Ndiaye. Un cadre générique avec exploitation de (no)goods pour la résolution énumérative bornée de CSP. In Actes de la 4ème Manifestation des Jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (Majecstic'2006), 2006.

S. N. Ndiaye. Calcul et exploitation de décompositions arborescentes pour la résolution de CSP. In Actes des 8èmes Journées Graphes et Algorithmes, pp. 127-134, 2006. [pdf]

P. Jégou, S. N. Ndiaye, C. Terrioux. Heuristiques pour la recherche énumérative bornée : Vers une libération de l'ordre. Laboratoire des Sciences de l'Information et des Systèmes, n° LSIS.RR.2006.004, 2006. [pdf]

2005

P. Jégou, S. N. Ndiaye, C. Terrioux. Computing and exploiting tree-decompositions for solving constraint networks. In Proceedings of the Eleventh International Conference on Principles and Practice of Constraint Programming (CP'2005), LNCS, vol. 3709, pp. 777-781, Springer, 2005. [pdf]

P. Jégou, S. N. Ndiaye, C. Terrioux. Sur la génération et l'exploitation de décompositions pour la résolution de réseaux de contraintes. In Actes des 1ères Journées Francophones de Programmation par Contraintes (JFPC'2005), pp. 149-158, 2005. [pdf]

S. N. Ndiaye. 2-triangulation de micro-structure pour la résolution de CSP. In: Actes de la 3ème Manifestation des Jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (Majecstic'2005), pp. 180-187, 2005. [pdf]

P. Jégou, S. N. Ndiaye, C. Terrioux. Computing and exploiting tree-decompositions for (Max-)CSP. Laboratoire des Sciences de l'Information et des Systèmes, n° LSIS.RR.2005.005, 2005. [pdf]