Cutting to the chase. (Q2351157): Difference between revisions

@@ Property / describes a project that uses @@
+MIPLIB2003
@@ Property / describes a project that uses: MIPLIB2003 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCIP
@@ Property / describes a project that uses: SCIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MIPLIB
@@ Property / describes a project that uses: MIPLIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sat4j
@@ Property / describes a project that uses: Sat4j / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / 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/s10817-013-9281-x
+Normal rank
@@ Property / OpenAlex ID @@
+W147487200
@@ Property / OpenAlex ID: W147487200 / rank @@
+Normal rank
@@ Property / cites work @@
+SCIP: solving constraint integer programs
@@ Property / cites work: SCIP: solving constraint integer programs / rank @@
+Normal rank
@@ Property / cites work @@
+MIPLIB 2003
@@ Property / cites work: MIPLIB 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417953
@@ Property / cites work: Q4417953 / rank @@
+Normal rank
@@ Property / cites work @@
+Edmonds polytopes and a hierarchy of combinatorial problems
+Normal rank
@@ Property / cites work @@
+Q5674430
@@ Property / cites work: Q5674430 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural Domain SMT: A Preliminary Assessment
@@ Property / cites work: Natural Domain SMT: A Preliminary Assessment / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Constructing Satisfiability Calculus
@@ Property / cites work: A Model-Constructing Satisfiability Calculus / 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 @@
+Outline of an algorithm for integer solutions to linear programs
+Normal rank
@@ Property / cites work @@
+Conflict Resolution
@@ Property / cites work: Conflict Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing DPLL to Richer Logics
@@ Property / cites work: Generalizing DPLL to Richer Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of integer programming
@@ Property / cites work: On the complexity of integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q4943600
@@ Property / cites work: Q4943600 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2351157