Some ways to reduce the space dimension in polyhedra computations.

Nicolas Halbwachs David Merchat Laure Gonnord Some ways to reduce the space dimension in polyhedra computations. 79-95 2006 29 Formal Methods in System Design 1 http://dx.doi.org/10.1007/s10703-006-0013-2 db/journals/fmsd/fmsd29.html#HalbwachsMG06