Filtrer vos résultats
- 44
- 18
- 40
- 9
- 7
- 3
- 1
- 1
- 1
- 9
- 62
- 13
- 3
- 2
- 1
- 2
- 4
- 6
- 3
- 4
- 7
- 4
- 4
- 1
- 3
- 2
- 6
- 3
- 2
- 1
- 3
- 1
- 3
- 36
- 26
- 43
- 29
- 11
- 7
- 3
- 2
- 1
- 62
- 25
- 11
- 11
- 9
- 7
- 6
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
62 résultats
Different Classes of Graphs to Represent Microstructures for CSPsM. 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
|
|||
|
Quatorzièmes Journées Francophones de Programmation par ContraintesJournées Francophones de Programmation par Contraintes, Jun 2018, Amiens, France. 2018
Proceedings/Recueil des communications
hal-02064794v1
|
||
|
Décompositions structurelles et sémantiques Rapport préliminaireActes 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
|
||
|
Combining Restarts, Nogoods and Bag-Connected Decompositions for Solving CSPsConstraints, 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[Rapport de recherche] LSIS.RR.2009.002, LSIS. 2009
Rapport
hal-01488800v1
|
|||
|
Variable Elimination in Binary CSPsJournal of Artificial Intelligence Research, 2019, 66, pp.589 - 624. ⟨10.1613/jair.1.11295⟩
Article dans une revue
hal-02338904v1
|
||
|
Les triangles cassés, encore et encore12emes 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 CSPsConstraints, 2015, 20 (4), pp.383-413
Article dans une revue
hal-01479543v1
|
|||
|
Some New Tractable Classes of CSPs and their Relations with Backtracking AlgorithmsProc. 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
|
||
|
Heuristiques pour la recherche énumérative bornée : Vers une libération de l'ordreDeuxiè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
|
||
|
Sur la complexité des algorithmes de backtracking et quelques nouvelles classes polynomiales pour CSPHuitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Communication dans un congrès
hal-00830458v1
|
||
|
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problemsArtificial Intelligence, 2016, 234, pp.196-218. ⟨10.1016/j.artint.2016.02.001⟩
Article dans une revue
hal-01356091v1
|
||
|
On Broken Triangles (CP 2014)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
|
||
|
Vers une exploitation dynamique de la décomposition pour les CSPs pondérésTreizièmes Francophones de Programmation par Contraintes, JFPC 2017, Jun 2017, Montreuil-sur-Mer, France
Communication dans un congrès
hal-01785202v1
|
||
|
Une nouvelle technique de filtrage basée sur la décomposition de sous-réseaux de contraintesJFPC 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[Rapport de recherche] LSIS. 2010
Rapport
hal-01488798v1
|
|||
Structural Consistency : A New Filtering Approach for Constraint NetworksM. 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[Rapport de recherche] LSIS.RR.2005.005, LSIS. 2005
Rapport
hal-01488847v1
|
|||
A time-space trade-off for constraint networks decomposition[Rapport de recherche] LSIS.RR.2004.004, LSIS. 2004
Rapport
hal-01488867v1
|
|||
|
Adaptive and Opportunistic Exploitation of Tree-decompositions for Weighted CSPs2017 International Conference on Tools with Artificial Intelligence (ICTAI 2017), Nov 2017, Boston, MA, United States
Communication dans un congrès
hal-01779631v1
|
||
|
On the Refinement of Conflict History Search Through Multi-Armed BanditIEEE 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
|
||
|
On the Relevance of Optimal Tree Decompositions for Constraint NetworksProceedings of the 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, Greece
Communication dans un congrès
hal-01933665v1
|
||
|
Using Constraint Programming to Generate Benzenoid Structures in Theoretical Chemistry26th 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
|
||
|
Un compromis temps-espace pour la résolution de réseaux de contraintes par décompositionPremiè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
|
||
|
A Microstructure-based Family of Tractable Classes for CSPs21st 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
|
||
|
Une famille de classes polynomiales de CSP basée sur la microstructure11eme Journees Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp. 59-68
Communication dans un congrès
hal-01375398v1
|
||
|
Sur la génération et l'exploitation de décompositions pour la résolution de réseaux de contraintesPremiè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
|
||
|
Un schéma générique d'algorithmes énumératifs avec (no)good recording pour la résolution bornée de CSPTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Communication dans un congrès
inria-00151213v1
|
||
|
Une généralisation de l'approche Cyclic-Clustering pour la résolution de CSP structurésCinquiè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
|
||
|
Améliorer les méthodes de décomposition pour le dénombrement exact de solutionsTreizièmes Francophones de Programmation par Contraintes, JFPC 2017, Jun 2017, Montreuil-sur-Mer, France
Communication dans un congrès
hal-01785197v1
|