This page shows all presentations of this author published in EasyChair Smart Slide.
Combination of Boxes and PolyhedraAbstractions for Constraint Solving
Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet