Experiences with Enumeration of Integer Projections of Parametric Polytopes
No abstract available.
Related papers
- AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming OOPSLA 2024
- An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection SAS 2019
- Under-Approximating Backward Reachable Sets by Polytopes CAV 2016
- Symbolic Polytopes for Quantitative Interpolation and Verification CAV 2015
- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata TACAS 2021
- Counting Minimal Unsatisfiable Subsets CAV 2021
- Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations OOPSLA 2013
- Reconciling enumerative and deductive program synthesis PLDI 2020