Combination of Boxes and Polyhedra Abstractions for Constraint Solving.

Ghiles Ziat, Alexandre Marchal, Marie Pelleau, Antoine Min, Charlotte Truchet

Browse the full FM paper archive.