Author: Marie Pelleau

see also : HAL list of publications

2013

• A Constraint Solver based on Abstract Domains (2013).
  Marie Pelleau Antoine Mine Charlotte Truchet Frederic Benhamou 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI2013), Romas, Italy. Lecture Notes in Computer Science

2011

• Octagonal Domains for Continuous Constraints (2011).
  Marie Pelleau Charlotte Truchet Frédéric Benhamou 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
• Au-delà des produits cartésiens de domaines : l'exemple des octogones (2011).
  Marie Pelleau Charlotte Truchet Frédéric Benhamou 7èmes Journées Francophones de Programmation par Contraintes (JFPC'11),

2010

• Abstract Domains for Constraint Programming, with the Example of Octagons (2010). [doi]
  Charlotte Truchet Marie Pelleau Frédéric Benhamou 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 72-79.

2009

• Sonet Network Design Problems (2009). [hal] [doi]
  Marie Pelleau Pascal Van Hentenryck Charlotte Truchet 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09), pp. 81-95.