Achieving consistency with cutting planes (Q2687054): Difference between revisions

@@ Property / author @@
-John N. Hooker
@@ Property / author: John N. Hooker / rank @@
-Normal rank
@@ Property / author @@
+John N. Hooker
@@ Property / author: John N. Hooker / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MIPLIB
@@ Property / describes a project that uses: MIPLIB / 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/s10107-022-01778-8
+Normal rank
@@ Property / OpenAlex ID @@
+W4213062745
@@ Property / OpenAlex ID: W4213062745 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict analysis in mixed integer programming
@@ Property / cites work: Conflict analysis in mixed integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive Programming
@@ Property / cites work: Disjunctive Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive Programming and a Hierarchy of Relaxations for Discrete Optimization Problems
+Normal rank
@@ Property / cites work @@
+A lift-and-project cutting plane algorithm for mixed 0-1 programs
+Normal rank
@@ Property / cites work @@
+Gomory cuts revisited
@@ Property / cites work: Gomory cuts revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The Unit Proof and the Input Proof in Theorem Proving
+Normal rank
@@ Property / cites work @@
+Integer Programming
@@ Property / cites work: Integer Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of cutting-plane proofs
@@ Property / cites work: On the complexity of cutting-plane proofs / rank @@
+Normal rank
@@ Property / cites work @@
+On some polytopes contained in the 0,1 hypercube that have a small Chvátal rank
+Normal rank
@@ Property / cites work @@
+Consistency for \(0-1\) programming
@@ Property / cites work: Consistency for \(0-1\) programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Sufficient Condition for Backtrack-Free Search
@@ Property / cites work: A Sufficient Condition for Backtrack-Free Search / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386920
@@ Property / cites work: Q4386920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5668612
@@ Property / cites work: Q5668612 / rank @@
+Normal rank
@@ Property / cites work @@
+Input Proofs and Rank One Cutting Planes
@@ Property / cites work: Input Proofs and Rank One Cutting Planes / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized resolution for 0--1 linear inequalities
+Normal rank
@@ Property / cites work @@
+Q4377039
@@ Property / cites work: Q4377039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523706
@@ Property / cites work: Q4523706 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, Optimization, and Constraint Programming
@@ Property / cites work: Logic, Optimization, and Constraint Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated methods for optimization
@@ Property / cites work: Integrated methods for optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Projection, consistency, and George Boole
@@ Property / cites work: Projection, consistency, and George Boole / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based Benders decomposition
@@ Property / cites work: Logic-based Benders decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+An Automatic Method of Solving Discrete Programming Problems
+Normal rank
@@ Property / cites work @@
+A parallel branch-and-bound algorithm to compute a tighter tardiness bound for preemptive global EDF
+Normal rank
@@ Property / cites work @@
+A Computational Study of Search Strategies for Mixed Integer Programming
+Normal rank
@@ Property / cites work @@
+Branch-and-bound algorithms: a survey of recent advances in searching, branching, and pruning
+Normal rank
@@ Property / cites work @@
+The Problem of Simplifying Truth Functions
@@ Property / cites work: The Problem of Simplifying Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A Way to Simplify Truth Functions
@@ Property / cites work: A Way to Simplify Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Preprocessing and Probing Techniques for Mixed Integer Programming Problems
+Normal rank
@@ Property / cites work @@
+A Hierarchy of Relaxations between the Continuous and Convex Hull Representations for Zero-One Programming Problems
+Normal rank
@@ Property / cites work @@
+A status report on conflict analysis in mixed integer nonlinear programming
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2687054