Filtrer vos résultats
- 41
- 12
- 31
- 10
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 53
- 1
- 1
- 1
- 3
- 1
- 4
- 4
- 5
- 1
- 1
- 4
- 2
- 2
- 4
- 7
- 6
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 44
- 9
- 45
- 6
- 6
- 5
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 53
- 8
- 8
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
53 résultats
|
|
|
triés par
|
|
|
Improved filtering for weighted circuit constraintsConstraints, 2012, 17 (3), pp.205--233. ⟨10.1007/s10601-012-9119-x⟩
Article dans une revue
hal-01344070v1
|
||
|
|
Beyond Cmax: an optimization-oriented framework for constraint-based scheduling2012
Rapport
hal-00976994v1
|
||
|
|
Generating all Possible Palindromes from Ngram CorporaIJCAI 2015, Jul 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-01344082v1
|
||
|
|
Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation ProblemCP 2012, Oct 2012, Québec, Canada. ⟨10.1007/978-3-642-33558-7_58⟩
Communication dans un congrès
hal-01344066v1
|
||
|
|
Embarrassingly Parallel Search19th International Conference on Principles and Practice of Constraint Programming (CP 2013), Sep 2013, Uppsala, Sweden. ⟨10.1007/978-3-642-40627-0_45⟩
Communication dans un congrès
hal-01344074v1
|
||
A Theta(n) Bound-Consistency Algorithm for the Increasing Sum Constraint17th International Conference on Principles and Practice of Constraint Programming (CP'11), Sep 2011, Perugia, Italy. pp.721-728, ⟨10.1007/978-3-642-23786-7_54⟩
Communication dans un congrès
istex
hal-00753385v1
|
|||
|
|
A note on arithmetic constraint propagation2012
Rapport
hal-00690317v1
|
||
|
|
Modélisation et contraintes globales en programmation par contraintesModélisation et simulation. Université Nice Sophia Antipolis, 2004
HDR
tel-00460193v1
|
||
|
|
An Optimal Coarse-Grained Arc Consistency AlgorithmArtificial Intelligence, 2005, 165 (2), pp.165-185. ⟨10.1016/j.artint.2005.02.004⟩
Article dans une revue
lirmm-00105310v1
|
||
|
|
La Contrainte DéviationTroisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France
Communication dans un congrès
inria-00151175v1
|
||
A k-opt based constraint for the TSPthe 27th International Conference on Principles and Practice of Constraint Programming, In press
Chapitre d'ouvrage
hal-03333967v1
|
|||
|
|
Solving Problems with CP: Four Common Pitfalls to AvoidCP 2011 - Principles and Practice of Constraint Programming - 17th International Conference, Jimmy Ho-Man Lee, Sep 2011, Perugia, Italy. ⟨10.1007/978-3-642-23786-7_3⟩
Communication dans un congrès
hal-01344048v1
|
||
Bound-consistent spread constraint, application to load balancing in nurse-to-patient assignmentsEURO Journal on Computational Optimization, 2013
Article dans une revue
hal-01345924v1
|
|||
|
|
Une stratégie de recherche basée sur la substituabilitéJFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes - 2012, May 2012, Toulouse, France
Communication dans un congrès
hal-00811851v1
|
||
Range-Based Algorithm for Max-CSPECAI: Workshop on Modelling and Solving Problems with Constraints, Jul 2002, Lyon, France
Communication dans un congrès
lirmm-00269318v1
|
|||
|
|
Propagation de contraintes arithmétiquesJFPC 2012, May 2012, Toulouse, France
Communication dans un congrès
hal-00812011v1
|
||
|
|
Range-Based Algorithm for Max-CSPCP: Principles and Practice of Constraint Programming, Sep 2002, Ithaca, NY, United States. pp.280-294, ⟨10.1007/3-540-46135-3_19⟩
Communication dans un congrès
istex
lirmm-00268450v1
|
||
|
|
Revisiting the Cardinality Reasoning for BinPacking ConstraintCP 2013, Sep 2013, Uppsala, Sweden. ⟨10.1007/978-3-642-40627-0_43⟩
Communication dans un congrès
hal-01344076v1
|
||
|
|
Intertwining NLP and CP-AI-OR Reasoning for Constrained Text GenerationJournée Natural Language Argumentation – GDR TAL – GDR RADIA, Nov 2023, Sophia Antipolis (06), France.
Poster de conférence
hal-04296814v1
|
||
|
|
Parallel Algorithms for Operations on Multi-valued Decision DiagramsAAAI 2018 Conference | The Thirty-Second AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, France
Communication dans un congrès
hal-01877882v1
|
||
|
|
Problème d'équilibre des charges de travail dans l'affectation de patients aux infirmièresCinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.165-175
Communication dans un congrès
hal-00387852v1
|
||
|
|
Détection de Conflits pour la Résolution de Problèmes Sur-ContraintsJNPC: Journées Nationales sur la Résolution Pratique des Problèmes NP-Complets, Jun 2003, Amiens, France. pp.293-307
Communication dans un congrès
lirmm-00269779v1
|
||
|
|
Bridging Worlds: The Splicing of MDD and GPT for Constrained Text GenerationCNIA 2023 - Conférence Nationale en Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, AFIA, Jul 2023, Strasbourg, France
Communication dans un congrès
hal-04217503v1
|
||
|
|
Relationship between k-cutsets and comb inequalities2020
Pré-publication, Document de travail
hal-02969598v1
|
||
|
|
Contraintes de cardinalité cachées dans les preuves d'insatisfaisabilité15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
Communication dans un congrès
hal-02271389v1
|
||
An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization20th European Conference on Artificial Intelligence (ECAI'12), Aug 2012, Montpellier, France. pp.145-150, ⟨10.3233/978-1-61499-098-7-145⟩
Communication dans un congrès
hal-00754079v1
|
|||
A filtered bucket-clustering method for Projection onto the Simplex and the l1 ballColloque GRETSI, Sep 2017, Juan-les-Pins, France
Communication dans un congrès
hal-01562642v1
|
|||
|
|
Introduction de contraintes structurelles pour la résolution du problème du voyageur de commerceJFPC, Jun 2019, Albi, France
Communication dans un congrès
hal-02160046v1
|
||
|
|
An adaptive CP method for TSP solving[Research Report] Université Côte d'Azur. 2019
Rapport
hal-02165374v1
|
||
|
|
Mixing Static and Dynamic Partitioning to Parallelize a Constraint Programming SolverInternational Journal of Parallel Programming, 2016, 44 (3), pp.486-505. ⟨10.1007/s10766-015-0356-7⟩
Article dans une revue
hal-01344092v1
|
- 1
- 2