Linear Integer Arithmetic Revisited (Q3454126): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4299514408
@@ Property / OpenAlex ID: W4299514408 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02948
@@ Property / arXiv ID: 1503.02948 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting on Demand in SAT Modulo Theories
@@ Property / cites work: Splitting on Demand in SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Integer Arithmetic Revisited
@@ Property / cites work: Linear Integer Arithmetic Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674430
@@ Property / cites work: Q5674430 / rank @@
+Normal rank
@@ Property / cites work @@
+Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
+Normal rank
@@ Property / cites work @@
+Strongly mixing g-measures
@@ Property / cites work: Strongly mixing g-measures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4082296
@@ Property / cites work: Q4082296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2786906
@@ Property / cites work: Q2786906 / rank @@
+Normal rank
@@ Property / cites work @@
+Cutting to the chase.
@@ Property / cites work: Cutting to the chase. / rank @@
+Normal rank
@@ Property / cites work @@
+Years of Integer Programming 1958-2008
@@ Property / cites work: 50 Years of Integer Programming 1958-2008 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak quantifier elimination for the full linear theory of the integers
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank