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

@@ Property / DOI @@
-.1016/j.entcs.2018.03.004
@@ Property / DOI: 10.1016/j.entcs.2018.03.004 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAGAI
@@ Property / describes a project that uses: PAGAI / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2018.03.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2797788337
@@ Property / OpenAlex ID: W2797788337 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317576
@@ Property / Wikidata QID: Q113317576 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.ENTCS.2018.03.004
@@ Property / DOI: 10.1016/J.ENTCS.2018.03.004 / rank @@
+Normal rank