Cuts from proofs: a complete and practical technique for solving linear inequalities over integers (Q453505): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+C10
@@ Property / Mathematics Subject Classification ID: 90C10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C05
@@ Property / Mathematics Subject Classification ID: 90C05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6087621
@@ Property / zbMATH DE Number: 6087621 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear inequalities over integers
@@ Property / zbMATH Keywords: linear inequalities over integers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithms
@@ Property / zbMATH Keywords: algorithms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint solving
@@ Property / zbMATH Keywords: constraint solving / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+gmp
@@ Property / describes a project that uses: gmp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Yices
@@ Property / describes a project that uses: Yices / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GLPK
@@ Property / describes a project that uses: GLPK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cvc3
@@ Property / describes a project that uses: cvc3 / 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/s10703-011-0127-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2027402438
@@ Property / OpenAlex ID: W2027402438 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3844775
@@ Property / cites work: Q3844775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427903
@@ Property / cites work: Q4427903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040221
@@ Property / cites work: Q4040221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227351
@@ Property / cites work: Q4227351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3139838
@@ Property / cites work: Q3139838 / rank @@
+Normal rank
@@ Property / cites work @@
+Hermite Normal Form Computation Using Modulo Determinant Arithmetic
+Normal rank
@@ Property / cites work @@
+Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
+Normal rank
@@ Property / cites work @@
+Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:453505