Efficient constraint/generator removal from double description of polyhedra
DOI10.1016/J.ENTCS.2014.08.002zbMATH Open1337.68262OpenAlexW2092611438WikidataQ113317859 ScholiaQ113317859MaRDI QIDQ281283FDOQ281283
Authors: Gianluca Amato, Francesca Scozzari, Enea Zaffanella 
Publication date: 10 May 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2014.08.002
Recommendations
- Efficient elimination of redundancies in polyhedra by raytracing
- On the dynamic problem of computing generators of a polyhedral cone
- A dynamic algorithm for constructing the dual representation of a polyhedral cone
- The tropical double description method
- Not necessarily closed convex polyhedra and the double description method
Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Approximation methods and heuristics in mathematical programming (90C59) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Special polytopes (linear programming, centrally symmetric, etc.) (52B12) Computational aspects related to convexity (52B55)
Cites Work
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- Title not available (Why is that?)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Precise widening operators for convex polyhedra
- Not necessarily closed convex polyhedra and the double description method
- New modification of the double description method for constructing the skeleton of a polyhedral cone
- Characterizations of adjacency of faces of polyhedra
- Inferring sufficient conditions with backward polyhedral under-approximations
- Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
- Algorithm for discovering the set of all the solutions of a linear programming problem
- Algorithm for finding a general formula for the non-negative solutions of a system of linear equations
Cited In (7)
- On the efficiency of convex polyhedra
- PPLite: zero-overhead encoding of NNC polyhedra
- Efficient elimination of redundancies in polyhedra by raytracing
- Accelerating Fourier-Motzkin elimination using bit pattern trees
- On the dynamic problem of computing generators of a polyhedral cone
- New modification of the double description method for constructing the skeleton of a polyhedral cone
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
Uses Software
This page was built for publication: Efficient constraint/generator removal from double description of polyhedra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281283)
