Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

14 résultats
Page :
triés par
Image document

Domaines abstraits en programmation par contraintes

 Pelleau Marie
Informatique [cs]. Université de Nantes (FR), 2012. Français. ⟨NNT : ⟩
Thèse tel-03299271v1

Abstract Domains for Constraint Programming, with the Example of Octagons

 Charlotte Truchet , Marie Pelleau , Frédéric Benhamou
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2010, Timisoara, Romania. pp.72-79, ⟨10.1109/SYNASC.2010.69⟩
Communication dans un congrès hal-01147921v1
Image document

Finding solutions by finding inconsistencies

 Ghiles Ziat , Marie Pelleau , Charlotte Truchet , Antoine Miné
CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.1-16
Communication dans un congrès hal-01885769v1

The octagon abstract domain for continuous constraints

 Marie Pelleau , Charlotte Truchet , Frédéric Benhamou
Constraints, 2014, 19 (3), pp.309--337. ⟨10.1007/s10601-014-9162-x⟩
Article dans une revue hal-01147912v1

Scheduling agents using forecast call arrivals at Hydro-Quebec's call centers

 Marie Pelleau , Louis-Martin Rousseau , Pierre L'Ecuyer , Walid Zegal , Louis Delorme
20th International Conference on Principles and Practice of Constraint Programming (CP 2014), Sep 2014, Lyon, France. pp.862-869, ⟨10.1007/978-3-319-10428-7_61⟩
Communication dans un congrès hal-01112635v1
Image document

Améliorer la propagation : l'Importance d'être Inconsistant

 Ghiles Ziat , Marie Pelleau , Charlotte Truchet , Antoine Miné
Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès hal-01735167v1
Image document

Un solveur de contraintes basé sur les domaines abstraits

 Marie Pelleau , Antoine Miné , Charlotte Truchet , Frédéric Benhamou
9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268
Communication dans un congrès hal-00925430v1
Image document

Towards a constraint system for round-off error analysis of floating-point computation

 Rémy Garcia , Claude Michel , Marie Pelleau , Michel Rueher
24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France
Communication dans un congrès hal-01956046v1
Image document

Contraintes de cardinalité cachées dans les preuves d'insatisfaisabilité

 Valentin Montmirail , Marie Pelleau , Jean-Charles Régin , Laurent Simon
15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
Communication dans un congrès hal-02271389v1
Image document

Octagonal Domains for Continuous Constraints

 Marie Pelleau , Charlotte Truchet , Frédéric Benhamou
17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italy. pp.706--720
Communication dans un congrès hal-00785598v1
Image document

A Constraint Solver based on Abstract Domains

 Marie Pelleau , Antoine Miné , Charlotte Truchet , Frédéric Benhamou
VMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. pp.434--454, ⟨10.1007/978-3-642-35873-9_26⟩
Communication dans un congrès hal-00785604v1

Sonet Network Design Problems

 Marie Pelleau , Pascal van Hentenryck , Charlotte Truchet
6th International Workshop on Local Search Techniques in Constraint Satisfaction, Sep 2009, Lisbon, France. pp.81-95, ⟨10.4204/EPTCS.5.7⟩
Communication dans un congrès hal-00482523v1

Identification of Dynamic Parameters for Gene Networks

 Behaegel Jonathan , Comet Jean-Paul , Pelleau Marie
2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, France. pp.122-129
Communication dans un congrès hal-02002503v1

Combination of Boxes and Polyhedra Abstractions for Constraint Solving

 Ghiles Ziat , Alexandre Maréchal , Marie Pelleau , Antoine Miné , Charlotte Truchet
The 8th International Workshop on Numerical and Symbolic Abstract Domains, Oct 2019, Porto, Portugal
Communication dans un congrès hal-02457083v1
Page :