| A constraint solver based on abstract domains M Pelleau, A Miné, C Truchet, F Benhamou International Workshop on Verification, Model Checking, and Abstract …, 2013 | 69 | 2013 |
| The octagon abstract domain for continuous constraints M Pelleau, C Truchet, F Benhamou Constraints 19, 309-337, 2014 | 16 | 2014 |
| Octagonal domains for continuous constraints M Pelleau, C Truchet, F Benhamou International Conference on Principles and Practice of Constraint …, 2011 | 12 | 2011 |
| Abstract domains for constraint programming, with the example of octagons C Truchet, M Pelleau, F Benhamou 2010 12th International Symposium on Symbolic and Numeric Algorithms for …, 2010 | 11 | 2010 |
| Identification of dynamic parameters for gene networks B Jonathan, C Jean-Paul, P Marie 2018 IEEE 30th International Conference on Tools with Artificial …, 2018 | 9 | 2018 |
| SONET network design problems M Pelleau, P Van Hentenryck, C Truchet arXiv preprint arXiv:0910.1255, 2009 | 6 | 2009 |
| Combination of boxes and polyhedra abstractions for constraint solving G Ziat, A Maréchal, M Pelleau, A Miné, C Truchet Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 4 | 2020 |
| Towards a constraint system for round-off error analysis of floating-point computation R Garcia, C Michel, M Pelleau, M Rueher 24th International Conference on Principles and Practice of Constraint …, 2018 | 4 | 2018 |
| Identification de parametres dynamiques de réseaux de genes J Behaegel, JP Comet, M Pelleau JFPC 2018, 33, 2018 | 4 | 2018 |
| Abstract domains in constraint programming M Pelleau Elsevier, 2015 | 4 | 2015 |
| Scheduling agents using forecast call arrivals at Hydro-Québec’s call centers M Pelleau, LM Rousseau, P L’Ecuyer, W Zegal, L Delorme Principles and Practice of Constraint Programming: 20th International …, 2014 | 4 | 2014 |
| MDD archive for boosting the pareto constraint S Malalel, A Malapert, M Pelleau, JC Régin 29th International Conference on Principles and Practice of Constraint …, 2023 | 3 | 2023 |
| Finding solutions by finding inconsistencies G Ziat, M Pelleau, C Truchet, A Miné International Conference on Principles and Practice of Constraint …, 2018 | 2 | 2018 |
| Generalized confidence constraints G Perez, S Malalel, G Glorian, V Jung, A Papadopoulos, M Pelleau, ... Proceedings of the AAAI Conference on Artificial Intelligence 37 (4), 4078-4086, 2023 | 1 | 2023 |
| Jouer avec des Cryptarithmes en Programmation par Contraintes A Malapert, M Schmied, D Fissore, M Pelleau, AP Marchetto JFPC 9567 (1085), 93, 2023 | | 2023 |
| 29th International Conference on Principles and Practice of Constraint Programming (CP 2023) M Garcia de la Banda, JHM Lee, L Perron, F Didier, S Gay, T Schiex, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
| Dealing with the product constraint S Malalel, V Jung, JC Régin, M Pelleau International Conference on Integration of Constraint Programming …, 2022 | | 2022 |
| Contraintes de cardinalité cachées dans les preuves d'insatisfaisabilité V Montmirail, M Pelleau, JC Régin, L Simon 15es Journées Francophones de Programmation par Contraintes, 2019 | | 2019 |
| Améliorer la propagation: l'Importance d'être Inconsistant G Ziat, M Pelleau, C Truchet, A Miné Treizièmes journées Francophones de Programmation par Contraintes, 2017 | | 2017 |
| Mixing Polyedra and Boxes Abstract Domain for Constraint Solving M Pelleau, E Rauzy, G Ziat, C Truchet, A Miné | | 2016 |
Frédéric BenhamouProfesseur d'informatique, Université de NantesDirección de correo verificada de univ-nantes.fr