Marie Pelleau

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Combination of Boxes and Polyhedra Abstractions for Constraint Solving.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018
Finding Solutions by Finding Inconsistencies.
Proceedings of the Principles and Practice of Constraint Programming, 2018

2014
The octagon abstract domain for continuous constraints.
Constraints An Int. J., 2014

Scheduling Agents Using Forecast Call Arrivals at Hydro-Québec's Call Centers.
Proceedings of the Principles and Practice of Constraint Programming, 2014

2013
A Constraint Solver Based on Abstract Domains.
Proceedings of the Verification, 2013

2011
Octagonal Domains for Continuous Constraints.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
Abstract Domains for Constraint Programming, with the Example of Octagons.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

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


  Loading...