Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming

DOI10.1007/978-3-319-66706-5_11zbMath1421.90170OpenAlexW2749325905MaRDI QIDQ5233243

David Monniaux, Michael Périn, Alexandre Maréchal

Publication date: 16 September 2019

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66706-5_11

zbMATH Keywords

polyhedraprojectionparametric linear programming

Mathematics Subject Classification ID

Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Linear programming (90C05)

Uses Software

• Apron
• PPL
• PAGAI
• Verimag Polyhedra Library

This page was built for publication: Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming