"SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities."

Vincent Laviron, Francesco Logozzo (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics