A Note on the Inversion Join for Polyhedral Analysis (Q2814111): Difference between revisions

@@ Property / describes a project that uses @@
+GLPK
@@ Property / describes a project that uses: GLPK / 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.2010.09.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2080145430
@@ Property / OpenAlex ID: W2080145430 / rank @@
+Normal rank
@@ Property / cites work @@
+Not necessarily closed convex polyhedra and the double description method
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+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 @@
+A canonical form for generalized linear constraints
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / 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 @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Splitting the Control Flow with Boolean Flags
@@ Property / cites work: Splitting the Control Flow with Boolean Flags / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Two Variables per Linear Inequality as an Abstract Domain
+Normal rank