Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

62 résultats

Different Classes of Graphs to Represent Microstructures for CSPs

Achref El Mouelhi , Philippe Jegou , Cyril Terrioux
M. Croitoru et al. GKR 2013, Graph Structures for Knowledge Representation and Reasoning, LNAI 8323, pp.21-38, 2014, Lecture Notes in Artificial Intelligence
Chapitre d'ouvrage hal-01488001v1
Image document

Quatorzièmes Journées Francophones de Programmation par Contraintes

Cyril Terrioux
Journées Francophones de Programmation par Contraintes, Jun 2018, Amiens, France. 2018
Proceedings/Recueil des communications hal-02064794v1
Image document

Décompositions structurelles et sémantiques Rapport préliminaire

Philippe Jégou , Cyril Terrioux
Actes des 15èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2019, Albi, France. pp.3-6
Communication dans un congrès hal-02162848v1
Image document

Combining Restarts, Nogoods and Bag-Connected Decompositions for Solving CSPs

Philippe Jégou , Cyril Terrioux
Constraints, 2017, 22(2) (2), pp.191-229. ⟨10.1007/s10601-016-9248-8⟩
Article dans une revue hal-01479532v1

A Tree Decomposition Based Approach to Solve Structured Satisfiability Instances

Djamal Habet , Lionel Paris , Cyril Terrioux
[Rapport de recherche] LSIS.RR.2009.002, LSIS. 2009
Rapport hal-01488800v1
Image document

Variable Elimination in Binary CSPs

Martin Cooper , Achref El Mouelhi , Cyril Terrioux
Journal of Artificial Intelligence Research, 2019, 66, pp.589 - 624. ⟨10.1613/jair.1.11295⟩
Article dans une revue hal-02338904v1
Image document

Les triangles cassés, encore et encore

Martin Cooper , Achref El Mouelhi , Cyril Terrioux
12emes Journees Francophones de Programmation par Contraintes (JFPC 2016), Jun 2016, Montpellier, France. pp. 133-141
Communication dans un congrès hal-01671343v1

A hybrid tractable class for non-binary CSPs

Achref El Mouelhi , Philippe Jégou , Cyril Terrioux
Constraints, 2015, 20 (4), pp.383-413
Article dans une revue hal-01479543v1
Image document

Some New Tractable Classes of CSPs and their Relations with Backtracking Algorithms

Achref El Mouelhi , Philippe Jegou , Cyril Terrioux , Bruno Zanuttini
Proc. 10th tenth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR 2013), May 2013, United States
Communication dans un congrès hal-00942291v1
Image document

Heuristiques pour la recherche énumérative bornée : Vers une libération de l'ordre

Philippe Jegou , Cyril Terrioux , Samba Ndojh Ndiaye
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France
Communication dans un congrès inria-00085810v1
Image document

Sur la complexité des algorithmes de backtracking et quelques nouvelles classes polynomiales pour CSP

Achref El Mouelhi , Philippe Jégou , Cyril Terrioux , Bruno Zanuttini
Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Communication dans un congrès hal-00830458v1
Image document

Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems

Martin Cooper , Aymeric Duchein , Achref El Mouelhi , Guillaume Escamocher , Cyril Terrioux , et al.
Artificial Intelligence, 2016, 234, pp.196-218. ⟨10.1016/j.artint.2016.02.001⟩
Article dans une revue hal-01356091v1
Image document

On Broken Triangles (CP 2014)

Martin Cooper , Achref El Mouelhi , Cyril Terrioux , Bruno Zanuttini
International Conference on Principles and Practice of Constraint Programming (CP 2014), Association for Constraint Programming, Sep 2014, Lyon, France. pp.9-24, ⟨10.1007/978-3-319-10428-7_5⟩
Communication dans un congrès hal-01095895v1
Image document

Vers une exploitation dynamique de la décomposition pour les CSPs pondérés

Philippe Jégou , Hanan Kanso , Cyril Terrioux
Treizièmes Francophones de Programmation par Contraintes, JFPC 2017, Jun 2017, Montreuil-sur-Mer, France
Communication dans un congrès hal-01785202v1
Image document

Une nouvelle technique de filtrage basée sur la décomposition de sous-réseaux de contraintes

Philippe Jégou , Cyril Terrioux
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.157-166
Communication dans un congrès inria-00520299v1

A New Filtering Based on Decomposition of Constraint Sub-Networks

Philippe Jégou , Cyril Terrioux
[Rapport de recherche] LSIS. 2010
Rapport hal-01488798v1

Structural Consistency : A New Filtering Approach for Constraint Networks

Philippe Jegou , Cyril Terrioux
M. Croitoru et al. GKR 2013, Graph Structures for Knowledge Representation and Reasoning, LNAI 8323, pp.74-91, 2014, Lecture Notes in Artificial Intelligence
Chapitre d'ouvrage hal-01487998v1

Computing and exploiting tree-decompositions for (Max-)CSP

Philippe Jégou , Samba Ndojh Ndiaye , Cyril Terrioux
[Rapport de recherche] LSIS.RR.2005.005, LSIS. 2005
Rapport hal-01488847v1

A time-space trade-off for constraint networks decomposition

Philippe Jégou , Cyril Terrioux
[Rapport de recherche] LSIS.RR.2004.004, LSIS. 2004
Rapport hal-01488867v1
Image document

Adaptive and Opportunistic Exploitation of Tree-decompositions for Weighted CSPs

Philippe Jégou , Hélène Kanso , Cyril Terrioux
2017 International Conference on Tools with Artificial Intelligence (ICTAI 2017), Nov 2017, Boston, MA, United States
Communication dans un congrès hal-01779631v1
Image document

On the Refinement of Conflict History Search Through Multi-Armed Bandit

Mohamed Sami Cherif , Djamal Habet , Cyril Terrioux
IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2020, Baltimore, United States. pp.264-271, ⟨10.1109/ICTAI50040.2020.00050⟩
Communication dans un congrès hal-03132228v1
Image document

On the Relevance of Optimal Tree Decompositions for Constraint Networks

Philippe Jégou , Hélène Kanso , Cyril Terrioux
Proceedings of the 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, Greece
Communication dans un congrès hal-01933665v1
Image document

Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry

Yannick Carissan , Denis Hagebaum-Reignier , Nicolas Prcovic , Cyril Terrioux , Adrien Varet
26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. pp.690-706, ⟨10.1007/978-3-030-58475-7_40⟩
Communication dans un congrès hal-02931934v1
Image document

Un compromis temps-espace pour la résolution de réseaux de contraintes par décomposition

Philippe Jégou , Cyril Terrioux
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.159-168
Communication dans un congrès inria-00000073v1
Image document

A Microstructure-based Family of Tractable Classes for CSPs

Martin Cooper , Philippe Jégou , Cyril Terrioux
21st International Conference on Principles and Practice of Constraint Programming (CP 2015), Aug 2015, Cork, Ireland. pp. 74-88
Communication dans un congrès hal-01343050v1
Image document

Une famille de classes polynomiales de CSP basée sur la microstructure

Martin Cooper , Philippe Jégou , Cyril Terrioux
11eme Journees Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp. 59-68
Communication dans un congrès hal-01375398v1
Image document

Sur la génération et l'exploitation de décompositions pour la résolution de réseaux de contraintes

Philippe Jégou , Samba Ndojh Ndiaye , Cyril Terrioux
Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.149-158
Communication dans un congrès inria-00000072v1
Image document

Un schéma générique d'algorithmes énumératifs avec (no)good recording pour la résolution bornée de CSP

Samba Ndjoh Ndiaye , Cyril Terrioux
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Communication dans un congrès inria-00151213v1
Image document

Une généralisation de l'approche Cyclic-Clustering pour la résolution de CSP structurés

Cedric Pinto , Cyril Terrioux
Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.5-15
Communication dans un congrès hal-00387839v1
Image document

Améliorer les méthodes de décomposition pour le dénombrement exact de solutions

Philippe Jégou , Hanan Kanso , Cyril Terrioux
Treizièmes Francophones de Programmation par Contraintes, JFPC 2017, Jun 2017, Montreuil-sur-Mer, France
Communication dans un congrès hal-01785197v1