The two variable per inequality abstract domain (Q656848): Difference between revisions

@@ Property / cites work @@
+A fast convex hull algorithm
@@ Property / cites work: A fast convex hull algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+A reevaluation of an efficient algorithm for determining the convex hull of a finite planar set
+Normal rank
@@ Property / cites work @@
+Another efficient algorithm for convex hulls in two dimensions
+Normal rank
@@ Property / cites work @@
+A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra
+Normal rank
@@ Property / cites work @@
+A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
+Normal rank
@@ Property / cites work @@
+Q4411960
@@ Property / cites work: Q4411960 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Average Number of Maxima in a Set of Vectors and Applications
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249563
@@ Property / cites work: Q4249563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200808
@@ Property / cites work: Q5200808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3044350
@@ Property / cites work: Q3044350 / 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 @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674430
@@ Property / cites work: Q5674430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Q5816762
@@ Property / cites work: Q5816762 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778703
@@ Property / cites work: Q4778703 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for determining the convex hull of a finite planar set
+Normal rank
@@ Property / cites work @@
+Some ways to reduce the space dimension in polyhedra computations
+Normal rank
@@ Property / cites work @@
+Computing Two-Dimensional Integer Hulls
@@ Property / cites work: Computing Two-Dimensional Integer Hulls / rank @@
+Normal rank
@@ Property / cites work @@
+Monotonizing linear programs with up to two nonzeroes per column
+Normal rank
@@ Property / cites work @@
+Simple and Fast Algorithms for Linear and Integer Programs with Two Variables Per Inequality
+Normal rank
@@ Property / cites work @@
+Q4391452
@@ Property / cites work: Q4391452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+A more efficient convex hull algorithm
@@ Property / cites work: A more efficient convex hull algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Simultaneous Diophantine Approximation Problems
+Normal rank
@@ Property / cites work @@
+Q4195960
@@ Property / cites work: Q4195960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4529777
@@ Property / cites work: Q4529777 / 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 @@
+Q5817857
@@ Property / cites work: Q5817857 / rank @@
+Normal rank
@@ Property / cites work @@
+Convex hulls of finite sets of points in two and three dimensions
+Normal rank
@@ Property / cites work @@
+Q3694703
@@ Property / cites work: Q3694703 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Program Analysis Using Symbolic Ranges
@@ Property / cites work: Program Analysis Using Symbolic Ranges / rank @@
+Normal rank
@@ Property / cites work @@
+Q4221106
@@ Property / cites work: Q4221106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344098
@@ Property / cites work: Q4344098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4401009
@@ Property / cites work: Q4401009 / rank @@
+Normal rank
@@ Property / cites work @@
+On the SUP-INF Method for Proving Presburger Formulas
+Normal rank
@@ Property / cites work @@
+Deciding Linear Inequalities by Computing Loop Residues
+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 @@
+Analyzing String Buffers in C
@@ Property / cites work: Analyzing String Buffers in C / rank @@
+Normal rank
@@ Property / cites work @@
+Convex hull of planar<i>h</i>-polyhedra
@@ Property / cites work: Convex hull of planar<i>h</i>-polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Widening Polyhedra with Landmarks
@@ Property / cites work: Widening Polyhedra with Landmarks / rank @@
+Normal rank
@@ Property / cites work @@
+The two variable per inequality abstract domain
@@ Property / cites work: The two variable per inequality abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Two Variables per Linear Inequality as an Abstract Domain
+Normal rank
@@ Property / cites work @@
+A class of polynomially solvable range constraints for interval analysis without widenings
+Normal rank
@@ Property / cites work @@
+A counterexample to an algorithm for computing monotone hulls of simple polygons
+Normal rank
@@ Property / cites work @@
+A polynomial combinatorial algorithm for generalized minimum cost flow
+Normal rank