On the efficiency of convex polyhedra (Q2130564): Difference between revisions

@@ Property / cites work @@
+The Abstract Domain of Parallelotopes
@@ Property / cites work: The Abstract Domain of Parallelotopes / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient constraint/generator removal from double description of polyhedra
+Normal rank
@@ Property / cites work @@
+Not necessarily closed convex polyhedra and the double description method
+Normal rank
@@ Property / cites work @@
+Convexity recognition of the union of polyhedra
@@ Property / cites work: Convexity recognition of the union of polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm for discovering the set of all the solutions of a linear programming problem
+Normal rank
@@ Property / cites work @@
+The octahedron abstract domain
@@ Property / cites work: The octahedron abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Abstract Domain of Weighted Hexagons
@@ Property / cites work: Relational Abstract Domain of Weighted Hexagons / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813408
@@ Property / cites work: Q4813408 / rank @@
+Normal rank
@@ Property / cites work @@
+Logahedra: A New Weakly Relational Domain
@@ Property / cites work: Logahedra: A New Weakly Relational Domain / rank @@
+Normal rank
@@ Property / cites work @@
+SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities
+Normal rank
@@ Property / cites work @@
+Q4529777
@@ Property / cites work: Q4529777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817857
@@ Property / cites work: Q5817857 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A Note on the Inversion Join for Polyhedral Analysis
+Normal rank
@@ Property / cites work @@
+Two Variables per Linear Inequality as an Abstract Domain
+Normal rank
@@ Property / cites work @@
+Fast polyhedra abstract domain
@@ Property / cites work: Fast polyhedra abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q5603731
@@ Property / cites work: Q5603731 / rank @@
+Normal rank