Marie Pelleau

Combination of Boxes and Polyhedra Abstractions for Constraint Solving

Antoine Miné, Charlotte Truchet, Ghiles Ziat, 2019, FM Workshops.

Sonet Network Design Problems

Pascal Van Hentenryck, Charlotte Truchet, Marie Pelleau, 2009, LSCS.

Finding Solutions by Finding Inconsistencies

Antoine Miné, Charlotte Truchet, Ghiles Ziat, 2018, CP.

Abstract Domains for Constraint Programming, with the Example of Octagons

Charlotte Truchet, Frédéric Benhamou, Marie Pelleau, 2010, 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

A Constraint Solver Based on Abstract Domains

Antoine Miné, Charlotte Truchet, Frédéric Benhamou, 2013, VMCAI.

Scheduling Agents Using Forecast Call Arrivals at Hydro-Québec's Call Centers

Louis-Martin Rousseau, Pierre L'Ecuyer, Marie Pelleau, 2014, CP.

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

Michel Rueher, Claude Michel, Marie Pelleau, 2018 .

The octagon abstract domain for continuous constraints

Charlotte Truchet, Frédéric Benhamou, Marie Pelleau, 2014, Constraints.

Octagonal Domains for Continuous Constraints

Charlotte Truchet, Frédéric Benhamou, Marie Pelleau, 2011, CP.

1 – State of the Art

Marie Pelleau, Marie Pelleau, 2015 .