Filtrer vos résultats
- 20
- 10
- 27
- 2
- 1
- 2
- 30
- 2
- 1
- 2
- 1
- 1
- 1
- 3
- 3
- 3
- 2
- 2
- 3
- 2
- 2
- 1
- 3
- 17
- 13
- 22
- 11
- 2
- 2
- 30
- 16
- 9
- 6
- 6
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
30 résultats
|
|
triés par
|
Un cadre générique pour l'intégration de BTD dans une bibliothèque de programmation par contraintesOnzièmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2015, Bordeaux, France
Communication dans un congrès
hal-01163329v1
|
|||
A generic framework for solving CSPs integrating decomposition methodsCP doctoral program, Oct 2012, Quebec city, Canada. pp.1-6
Communication dans un congrès
hal-01353092v1
|
|||
|
Améliorations de l'hybridation PPC et PLNE pour la somme coloration15èmes Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
Communication dans un congrès
hal-02276072v1
|
||
|
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
|
||
Searching for a maximum common induced subgraph by decomposing the compatibility graphBridging the Gap Between Theory and Practice in Constraint Solvers, CP2014-Workshop, Sep 2014, Lyon, France. pp.1-17
Communication dans un congrès
hal-01301095v1
|
|||
|
Observations from Parallelising Three Maximum Common (Connected) Subgraph Algorithms15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), 2018, Delft, Netherlands. pp.298-315
Communication dans un congrès
hal-01728184v1
|
||
|
2-triangulation de micro-structure pour la résolution de CSPMajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, pp.180-187
Communication dans un congrès
inria-00000678v1
|
||
|
A Comparison of Decomposition Methods for the Maximum Common Subgraph Problem27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2015, Vierti sul Mare, Italy. pp.461-468
Communication dans un congrès
hal-01191605v1
|
||
Comparaison de BTD avec des stratégies d’exploration "intelligentes" pour une sélection automatique d’algorithmes.Journées Francophones de Programmation par Contraintes (JFPC'2014), Jun 2014, Angers, France. pp.173-182
Communication dans un congrès
hal-01313169v1
|
|||
|
CP Models for Maximum Common Subgraph Problems17th International Conference on Principles and Practice of Constraint Programming (CP), Sep 2011, Perugia, Italy. pp.637-644, ⟨10.1007/978-3-642-23786-7_48⟩
Communication dans un congrès
hal-01354447v1
|
||
A new Evaluation of Forward Checking and its Consequences on Efficiency of Tools for Decomposition of CSPs[Rapport de recherche] LSIS.RR.2008.003, LSIS. 2008
Rapport
hal-01488808v1
|
|||
|
Recouvrement de problèmes par des hypergraphes acycliques : analyses théorique et expérimentaleTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Communication dans un congrès
inria-00151228v1
|
||
|
Complexité de Forward Checking et Hiérarchie des Décompositions de CSP RevisitéesJFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.153-163
Communication dans un congrès
inria-00291557v1
|
||
Combined Strategies for Decomposition-based Methods for solving CSPs21st International Conference on Tools with Artificial Intelligence (ICTAI'09), Nov 2009, Newark (New Jersey), United States. pp.184-192, ⟨10.1109/ICTAI.2009.70⟩
Communication dans un congrès
hal-01437772v1
|
|||
|
Experimental comparison of BTD and intelligent backtracking: Towards an automatic per-instance algorithm selectorInternational Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. pp.190-206, ⟨10.1007/978-3-319-10428-7_16⟩
Communication dans un congrès
hal-01301069v1
|
||
|
On the notion of cycles in hypergraphsDiscrete Mathematics, 2009, 23-24, 309, pp.6535-6543. ⟨10.1016/j.disc.2009.06.035⟩
Article dans une revue
hal-01437746v1
|
||
|
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
|
||
|
Intégration d'une approche structurelle dans un cadre hybride pour la résolution de CSPRFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Communication dans un congrès
hal-00656564v1
|
||
Recherche d’un plus grand sous-graphe commun par décomposition du graphe de compatibilitéOnzièmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2015, Bordeaux, France. pp.1-11
Communication dans un congrès
hal-01163322v1
|
|||
|
Évaluation d'approches complètes pour le problème de somme colorationDouzièmes Journées Francophones de Programmation par Contraintes (JFPC 2016), Jun 2016, Montpellier, France. pp.1-10
Communication dans un congrès
hal-01309350v1
|
||
Computing and exploiting tree-decompositions for (Max-)CSP[Rapport de recherche] LSIS.RR.2005.005, LSIS. 2005
Rapport
hal-01488847v1
|
|||
|
Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problemInternational Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2017), Jun 2017, Padova, Italy. pp.359-375
Communication dans un congrès
hal-01447818v2
|
||
|
ACO with automatic parameter selection for a scheduling problem with a group cumulative constraintGECCO 2020 - Genetic and Evolutionary Computation Conference, Jul 2020, Cancun, Mexico. pp.13--21, ⟨10.1145/3377930.3389818⟩
Communication dans un congrès
hal-02531062v1
|
||
|
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems22nd International Conference on Principles and Practice of Constraint Programming (CP), Sep 2016, Toulouse, France. pp.350-368
Communication dans un congrès
hal-01331298v1
|
||
|
Using CP and ILP with tree decomposition to solve the sum colouring problemDoctoral program of 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016), Sep 2016, Toulouse, France. pp.1-10
Communication dans un congrès
hal-01366291v1
|
||
|
Solving the Group Cumulative Scheduling Problem with CPO and ACO26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. pp.620--636, ⟨10.1007/978-3-030-58475-7_36⟩
Communication dans un congrès
hal-02899372v1
|
||
|
Stratégies hybrides pour des décompositions optimales et efficacesCinquiè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
|
||
Modélisation et résolution de problèmes de plus grands sous-graphes communs à l'aide de la programmation par contraintesJournées Francophones de Programmation par Contraintes (JFPC), Jun 2011, Lyon, France. pp.243-249
Communication dans un congrès
hal-01354430v1
|
|||
|
Approche hybride basée sur l'apprentissage automatique pour la réduction de graphes24ème conférence francophone sur l'Extraction et la Gestion des Connaissances EGC 2024, Jan 2024, Dijon, France. pp.167-178
Communication dans un congrès
hal-04454820v1
|