PELLEAU Marie

Postdoc
Equipo : APR
Fecha de salida : 30/09/2017
https://lip6.fr/Marie.Pelleau

Fecha de salida : 30/09/2017

Publicaciones 2017-2019

Responsable de la comunicación

2019
- Gh. Ziat, A. Maréchal, M. Pelleau, A. Miné, Ch. Truchet : “Combination of Boxes and Polyhedra Abstractions for Constraint Solving”, The 8^th International Workshop on Numerical and Symbolic Abstract Domains, Porto, Portugal (2019)
2018
- Gh. Ziat, M. Pelleau, Ch. Truchet, A. Miné : “Finding solutions by finding inconsistencies”, CP 2018 - 24^th International Conference on Principles and Practice of Constraint Programming, Lille, France, pp. 1-16 (2018)
2017
- Gh. Ziat, M. Pelleau, Ch. Truchet, A. Miné : “Améliorer la propagation : l’Importance d’être Inconsistant”, Treizièmes journées Francophones de Programmation par Contraintes, Montreuil sur Mer, France (2017)