Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

62 résultats
Page :
triés par

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
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

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

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

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

On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems

 Achref El Mouelhi , Philippe Jegou , Cyril Terrioux , Bruno Zanuttini
Proc. International Symposium on Artificial Intelligence and Mathematics (ISAIM 2012), Jan 2012, United States. 7 p
Communication dans un congrès hal-00946876v1

Hidden Tractable Classes

 Achref El Mouelhi , Philippe Jegou , Cyril Terrioux
First Workshop on Bridging the Gap Between Theory and Practice in Constraint Solvers, 2014, Unknown, Région indéterminée
Communication dans un congrès hal-01488243v1

A New Method for Computing Suitable Tree-decompositions with respect to Structured CSP Solving

 Cedric Pinto , Cyril Terrioux
[Rapport de recherche] LSIS.RR.2008.002, LSIS. 2008
Rapport hal-01488812v1
Image document

Conflict History Based Branching Heuristic for CSP Solving

 Djamal Habet , Cyril Terrioux
Proceedings of the 8th International Workshop on Combinations of Intelligent Methods and Applications (CIMA), Nov 2018, Volos, Greece
Communication dans un congrès hal-02090610v1
Image document

Une heuristique basée sur l'historique des conflits pour les problèmes de satisfaction de contraintes

 Djamal Habet , Cyril Terrioux
Actes des 15èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2019, Albi, France. pp.153-154
Communication dans un congrès hal-02162856v1
Image document

Variable Elimination in Binary CSPs (Extended Abstract)

 Martin Cooper , Achref El Mouelhi , Cyril Terrioux
Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Jul 2020, Yokohama, France. pp.5035-5039, ⟨10.24963/ijcai.2020/702⟩
Communication dans un congrès hal-02897892v1
Image document

Stratégies hybrides pour des décompositions optimales et efficaces

 Philippe Jégou , Samba Ndojh Ndiaye , Cyril Terrioux
Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, Orléans, France. pp.35-45
Communication dans un congrès hal-00390905v1
Image document

BenzAI: A Program to Design Benzenoids With Defined Properties Using Constraint Programming

 Adrien Varet , Nicolas Prcovic , Cyril Terrioux , Denis Hagebaum-Reignier , Yannick Carissan
Journal of Chemical Information and Modeling, 2022, 62 (11), pp.2811--2820. ⟨10.1021/acs.jcim.2c00353⟩
Article dans une revue hal-03691364v1
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
Page :