A constraint solver based on abstract domains M Pelleau, A Miné, C Truchet, F Benhamou Verification, Model Checking, and Abstract Interpretation: 14th …, 2013 | 59 | 2013 |
The octagon abstract domain for continuous constraints M Pelleau, C Truchet, F Benhamou Constraints 19, 309-337, 2014 | 13 | 2014 |
Octagonal domains for continuous constraints M Pelleau, C Truchet, F Benhamou Principles and Practice of Constraint Programming–CP 2011: 17th …, 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 | 9 | 2010 |
SONET network design problems M Pelleau, P Van Hentenryck, C Truchet arXiv preprint arXiv:0910.1255, 2009 | 6 | 2009 |
Identification of dynamic parameters for gene networks B Jonathan, C Jean-Paul, P Marie 2018 IEEE 30th International Conference on Tools with Artificial …, 2018 | 4 | 2018 |
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 |
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 | 3 | 2018 |
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 | 2 | 2020 |
Identification de parametres dynamiques de réseaux de genes J Behaegel, JP Comet, M Pelleau JFPC 2018, 33, 2018 | 2 | 2018 |
Abstract domains in constraint programming M Pelleau Elsevier, 2015 | 2 | 2015 |
Finding solutions by finding inconsistencies G Ziat, M Pelleau, C Truchet, A Miné Principles and Practice of Constraint Programming: 24th International …, 2018 | 1 | 2018 |
Dealing with the product constraint S Malalel, V Jung, JC Régin, M Pelleau Integration of Constraint Programming, Artificial Intelligence, and …, 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 |
Un solveur de contraintes basé sur les domaines abstraits M Pelleau, A Miné, C Truchet, F Benhamou 9èmes Journées Francophones de Programmation par Contraintes, 259-268, 2013 | | 2013 |
Domaines abstraits en programmation par contraintes M PELLEAU Université de Nantes, 2012 | | 2012 |
Using Abstract Domains in Constraint Programming M Pelleau, F Benhamou, P Van Hentenryck, C Truchet The 16th International Conference on Principles and Practice of Constraint …, 2010 | | 2010 |
Résolution de Problemes Programmation par Contraintes M Pelleau | | |