logo du LSIS Laboratoire des Sciences de l'Information et des Systèmes

Accueil
Présentation
Organigramme
Annuaire
Trombinoscope
Sites / accès
Nous contacter

Équipes
COSI
I&M
IMS
INCA
INCOD
SEDIP
Pôles transversaux

Projets struct.
SIC
SimGraph

Vie du laboratoire
Bulletins d'info
Chercheurs invités
Conférences
Séminaires
Soutenances
JDL6'08
Majecstic'08

Rechercher :

Cyril TERRIOUX

Cyril TERRIOUX


Membre de l'équipe INCA
 
Fonction : Maître de conférences (MCF)
UFR : Université Aix-Marseille (U3)
 
Tél. : 04 91 28 89 91
E-mail : cyrilterriouxlsisorg
Web : http://www.lsis.org/~terriouxc/
 
Adresse :  LSIS - UMR CNRS 6168
Domaine Universitaire de Saint-Jérôme
Avenue Escadrille Normandie-Niemen
13397 MARSEILLE CEDEX 20


Masquer les détails concernant la thèse

Thèse soutenue
  • mardi 10 décembre 2002, à 11h00 - CMI, salle de conférence C 001
    Approches structurelles et coopératives pour la résolution de problèmes de satisfaction de contraintes
    sous la direction de M. Philippe Jégou

PUBLICATIONS
[ présentation : catégorie > année / année > catégorie / compacte / BibTeX ] 

2008

Conférences avec actes

Internationales

[1] P. Jégou, S. N. Ndiaye, 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, pp. 61-66, 2008.[bib]
[2] P. Jégou, S. N. Ndiaye, 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), novembre 2008. à paraître.[bib]
[3] S. N. Ndiaye, P. Jégou, 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), novembre 2008. à paraître.[bib]
[4] C. Pinto, C. Terrioux, “A New Method for Computing Suitable Tree-decompositions with Respect to Structured CSP Solving”, in: Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), novembre 2008. à paraître.[bib]

Nationales

[5] P. Jégou, S. N. Ndiaye, C. Terrioux, “Complexité de Forward Checking et Hiérarchie des Décompositions de CSP Revisitées”, in: Actes des quatrièmes Journées Francophones de Programmation par Contraintes (JFPC’2008), pp. 153-163, 2008.[bib]

Conférences sans actes

[6] P. Jégou, S. N. Ndiaye, C. Terrioux, “Hypertree decomposition vs tree decomposition for solving constraint networks”, in: International Workshop on Graph Decomposition: Theoretical, Algorithmic and Logical Aspect, CIRM, Marseille, avril 2008.[bib]

Rapports de recherche

[7] P. Jégou, S. N. Ndiaye, C. Terrioux, “A new Evaluation of Forward Checking and its Consequences on Efficiency of Tools for Decomposition of CSPs”, LSIS, n° LSIS.RR.2008.003, 2008.[bib]
[8] C. Pinto, C. Terrioux, “A New Method for Computing Suitable Tree-decompositions with respect to Structured CSP Solving”, LSIS, n° LSIS.RR.2008.002, 2008.[bib]

2007

Chapitres d'ouvrages

[9] 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.[bib]

Conférences avec actes

Internationales

[10] P. Jégou, S. N. Ndiaye, C. Terrioux, “Dynamic Management of Heuristics for Solving Structured CSPs”, in: Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-2007), Springer, LNCS, pp. 364-378, Providence, USA, septembre 2007.[bib]
[11] 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, Juin 2007.[bib]
[12] P. Jégou, S. N. Ndiaye, C. Terrioux, “Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs”, in: International Joint Conference on Artificial Intelligence - IJCAI'07, pp. 112-117, Hyderabad, Inde, janvier 2007.[bib]

Nationales

[13] 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 troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 213-222, juin 2007.[bib]
[14] 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 troisièmes Journées Francophones de Programmation par Contraintes (JFPC’2007), pp. 275-284, juin 2007.[bib]

2006

Conférences avec actes

Internationales

[15] K. Boutaleb, P. Jégou, C. Terrioux, “(No)good Recording and ROBDDs for Solving Structured (V)CSPs”, in: Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2006), pp. 297-304, novembre 2006.[bib]
[16] 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, septembre 2006.[bib]
[17] 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, septembre 2006.[bib]
[18] 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, Riva del Garda, Italy, août 2006.[bib]
[19] K. Boutaleb, P. Jégou, C. Terrioux, “Storing learnt (no)goods in ROBDDs for solving structured CSPs”, in: Workshop on Learning for Search, AAAI 2006, pp. 65-71, Boston, USA, juillet 2006.[bib]
[20] K. Boutaleb, P. Jégou, C. Terrioux, “Optimizing the space to extend the tractability of (valued) structured CSP”, in: Annual Workshop of ERCIM on Constraint Solving and Constraint Logic Programming (CSCLP'06), pp. 85-99, Lisbonne, Portugal, juin 2006.[bib]

Nationales

[21] 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 deuxièmes Journées Francophones de Programmation par Contraintes (JFPC’2006), pp. 219-228, juin 2006.[bib]

Rapports de recherche

[22] 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, Mars 2006.[bib][pdf]

2005

Conférences avec actes

Internationales

[23] 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, octobre 2005.[bib]

Nationales

[24] 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 Premières Journées Francophones de Programmation par Contraintes (JFPC'2005), pp. 149-158, Lens, juin 2005.[bib]
[25] P. Jégou, C. Terrioux, “Un compromis temps-espace pour la résolution de réseaux de contraintes par décomposition”, in: Actes des Premières Journées Francophones de Programmation par Contraintes (JFPC'2005), pp. 159-168, Lens, juin 2005.[bib]

Rapports de recherche

[26] P. Jégou, S. N. Ndiaye, C. Terrioux, “Computing and exploiting tree-decompositions for (Max-)CSP”, LSIS, n° LSIS.RR.2005.005, 2005.[bib][pdf]

2004

Articles (revue)

Nationaux

[27] P. Jégou, C. Terrioux, “Recherche arborescente bornée pour la résolution de CSP valués”, in: Journal Electronique D'Intelligence Artificielle (JEDAI), vol. 3-28, 2004.[bib]

Conférences avec actes

Internationales

[28] P. Jégou, C. Terrioux, “Decomposition and Good Recording”, in: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), pp. 196-200, 2004.[bib]
[29] P. Jégou, C. Terrioux, “A Time-space Trade-off for Constraint Networks Decomposition”, in: Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), Boca Raton, Florida, USA, Novembre 2004. pp.234-239.[bib]

Nationales

[30] P. Jégou, C. Terrioux, “Décomposition et Good Recording pour le problème Max-CSP”, in: Actes des 10 ème Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets (JNPC'2004), pp. 219-234, Angers, Juin 2004.[bib][pdf]

Rapports de recherche

[31] P. Jégou, C. Terrioux, “A time-space trade-off for constraint networks decomposition”, LSIS, n° LSIS.RR.2004.004, 2004.[bib][pdf]

2003

Articles (revue)

Internationaux

[32] P. Jégou, C. Terrioux, “Hybrid backtracking bounded by tree-decomposition of constraint networks”, in: Artificial Intelligence, vol. 146, pp. 43-75, 2003.[bib]

Conférences avec actes

Internationales

[33] C. Terrioux, P. Jégou, “Bounded backtracking for the valued constraint satisfaction problems”, in: Proceedings of the Ninth International Conference on Principles and Practice of Constraint Programming (CP-2003), pp. 709-723, 2003.[bib]

Nationales

[34] P. Jégou, C. Terrioux, “Recherche arborescente bornée pour la résolution de CSP valués”, in: 9ème Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets (JNPC'2003), pp. 161-175, Amiens, 2003.[bib][pdf]

Rapports de recherche

[35] C. Terrioux, “Exchanging nogoods: an efficient cooperative search for solving constraint satisfaction problems”, Rapport de recherche, Laboratoire des Sciences de l'Information et des Systèmes (LSIS), n° LSIS.RR.2003.001, 2003. 26 pages.[bib][pdf]
[36] P. Jégou, C. Terrioux, “Recherche arborescente bornée pour la résolution de CSP valués”, Rapport de recherche, Laboratoire des Sciences de l'Information et des Systèmes (LSIS), n° LSIS.RR.2003.002, 2003. 12 pages.[bib][pdf]

2002

Conférences avec actes

Nationales

[37] P. Jégou, C. Terrioux, “Recherche arborescente bornée”, in: 8 eme Journées Nationales Résolution Pratique des Problèmes NP-Complets (JNPC'2002), pp. 127-141, Nice, 2002.[bib][pdf]

Rapports de recherche

[38] C. Terrioux, “Cooperative Search vs classical algorithms”, Rapport de recherche, Laboratoire des Sciences de l'Information et des Systèmes, n° LSIS.RR.2002.006, 2002. 12 pages.[bib][pdf][ps]
[39] P. Jégou, C. Terrioux, “Hybrid backtracking bounded by tree-decomposition of constraint networks”, Rapport de recherche, Laboratoire des Sciences de l'Information et des Systèmes, n° LSIS.RR.2002.011, 2002. 27 pages.[bib][pdf][ps]

Thèse

[40] C. Terrioux, Thèse : “Approches structurelles et coopératives pour la résolution des problèmes de satisfaction de contraintes”, Université de Provence, Décembre 2002.[bib][pdf]

2001

Conférences avec actes

Internationales

[41] C. Terrioux, “Cooperative Search and Nogood Recording”, in: Proceedings International Joint Conference on Artificial Intelligence, IJCAI'01, pp. 260-265,, Seattle, USA, 2001.[bib]

Nationales

[42] C. Terrioux, “Recherche Coopérative et Nogood Recording”, in: Actes des Journées Francophones de Programmation en Logique et par Contraintes, pp. 173-187, Paris, 2001.[bib]
 

envoyer un email au webmaster webmaster page précédente  haut de la page  page d'accueil du LSIS

Recherche
Publications :
 - articles
 - brevets
 - conf. avec actes
 - conf. sans actes
 - ouvrages
 - chapitres d'ouvr.
 - directions d'ouvr.
 - rech. manuelle

Thèses en cours
Thèses et HDR
Rapports de rech.
Actions STIC

Enseignement
Master SIS

Liens
CNRS  >  STIC 
U1 U2 U3
CMI
École doctorale
ENSAM
ESIL
Polytech' Marseille
A2DL
GDR I3 : VerSim
GDR I3 : Mimosa
GDR MACS

Intranet
Webmail