Periodic Polyhedra
No abstract available.
Related papers
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library SAS 2002
- Widening Polyhedra with Landmarks APLAS 2006
- Simple and Precise Widenings for H-Polyhedra APLAS 2010
- Template Polyhedra with a Twist SAS 2017
- Efficient Elimination of Redundancies in Polyhedra by Raytracing VMCAI 2017
- A Sound Floating-Point Polyhedra Abstract Domain APLAS 2008
- Extending Constraint-Only Representation of Polyhedra with Boolean Constraints SAS 2018
- An Efficient Abstract Domain for Not Necessarily Closed Polyhedra SAS 2018