A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints (Q2819515): Difference between revisions

@@ Property / author @@
+K. Subramani and Vahan Mkrtchyan
@@ Property / author: K. Subramani and Vahan Mkrtchyan / rank @@
+Normal rank
@@ Property / author @@
+Piotr J. Wojciechowski
@@ Property / author: Piotr J. Wojciechowski / 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.1007/978-3-319-44543-4_25
+Normal rank
@@ Property / OpenAlex ID @@
+W2529628685
@@ Property / OpenAlex ID: W2529628685 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3056948
@@ Property / cites work: Q3056948 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Fourier-Motzkin elimination and its dual
@@ Property / cites work: Fourier-Motzkin elimination and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Scaling Algorithms for the Shortest Paths Problem
@@ Property / cites work: Scaling Algorithms for the Shortest Paths Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Simple and Fast Algorithms for Linear and Integer Programs with Two Variables Per Inequality
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q4230340
@@ Property / cites work: Q4230340 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental Satisfiability and Implication for UTVPI Constraints
+Normal rank
@@ Property / cites work @@
+Q5309034
@@ Property / cites work: Q5309034 / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial certifying algorithm for linear feasibility in UTVPI constraints
+Normal rank