An Improved Tight Closure Algorithm for Integer Octagonal Constraints (Q5452703): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-78163-9_6
+Normal rank
@@ Property / OpenAlex ID @@
+W2097774457
@@ Property / OpenAlex ID: W2097774457 / rank @@
+Normal rank
@@ Property / cites work @@
+Grids: A Domain for Analyzing the Distribution of Numerical Values
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Static analysis of arithmetical congruences
@@ Property / cites work: Static analysis of arithmetical congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736342
@@ Property / cites work: Q2736342 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Simultaneous Diophantine Approximation Problems
+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 @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank