Marie Pelleau

According to our database, Marie Pelleau authored at least 8 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Combination of Boxes and Polyhedra Abstractions for Constraint Solving.

Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Finding Solutions by Finding Inconsistencies.

Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné

Proceedings of the Principles and Practice of Constraint Programming, 2018

2014

The octagon abstract domain for continuous constraints.

Marie Pelleau, Charlotte Truchet, Frédéric Benhamou

Constraints An Int. J., 2014

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

Marie Pelleau, Louis-Martin Rousseau, Pierre L'Ecuyer, Walid Zegal, Louis Delorme

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

A Constraint Solver Based on Abstract Domains.

Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou

Proceedings of the Verification, 2013

2011

Octagonal Domains for Continuous Constraints.

Marie Pelleau, Charlotte Truchet, Frédéric Benhamou

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Abstract Domains for Constraint Programming, with the Example of Octagons.

Charlotte Truchet, Marie Pelleau, Frédéric Benhamou

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009

Sonet Network Design Problems

Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009