Author:
Amato Gianluca,Scozzari Francesca,Zaffanella Enea
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. Localizing widening and narrowing;Amato,2013
2. How to combine widening and narrowing for non-monotonic systems of equations;Apinis,2013
3. Characterization of adjacency of faces of polyhedra;Bachem;Mathematical Programming Study,1981
4. Precise widening operators for convex polyhedra;Bagnara;Science of Computer Programming,2005
5. Not necessarily closed convex polyhedra and the double description method;Bagnara;Formal Aspects of Computing,2005
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interpretable Run-Time Prediction and Planning in Co-Robotic Environments;2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2021-09-27
2. PPLite: Zero-overhead encoding of NNC polyhedra;Information and Computation;2020-12
3. Accelerating Fourier–Motzkin elimination using bit pattern trees;Optimization Methods and Software;2020-01-14
4. A Dynamic Algorithm for Constructing the Dual Representation of a Polyhedral Cone;Mathematical Optimization Theory and Operations Research;2019
5. On the Efficiency of Convex Polyhedra;Electronic Notes in Theoretical Computer Science;2018-04