On the complexity of cutting-plane proofs using split cuts (Q969513): Difference between revisions

@@ Property / cites work @@
+The monotone circuit complexity of Boolean functions
+Normal rank
@@ Property / cites work @@
+A lift-and-project cutting plane algorithm for mixed 0-1 programs
+Normal rank
@@ Property / cites work @@
+Lower bounds for cutting planes proofs with small coefficients
+Normal rank
@@ Property / cites work @@
+Q4385519
@@ Property / cites work: Q4385519 / rank @@
+Normal rank
@@ Property / cites work @@
+Edmonds polytopes and a hierarchy of combinatorial problems
+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 the Matrix-Cut Rank of Polyhedra
@@ Property / cites work: On the Matrix-Cut Rank of Polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+An exponential lower bound for the size of monotone real circuits
+Normal rank
@@ Property / cites work @@
+Chvátal closures for mixed integer programming problems
+Normal rank
@@ Property / cites work @@
+Exponential Lower Bounds on the Lengths of Some Classes of Branch-and-Cut Proofs
+Normal rank
@@ Property / cites work @@
+Valid inequalities based on simple mixed-integer sets
+Normal rank
@@ Property / cites work @@
+MIR closures of polyhedral sets
@@ Property / cites work: MIR closures of polyhedral sets / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of an algorithm for integer solutions to linear programs
+Normal rank
@@ Property / cites work @@
+Sequential pairing of mixed integer inequalities
@@ Property / cites work: Sequential pairing of mixed integer inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Several notes on the power of Gomory-Chvátal cuts
+Normal rank
@@ Property / cites work @@
+Lower bounds to the size of constant-depth propositional proofs
+Normal rank
@@ Property / cites work @@
+Aggregation and Mixed Integer Rounding to Solve MIPs
+Normal rank
@@ Property / cites work @@
+A recursive procedure to generate all cuts for 0-1 mixed integer programs
+Normal rank
@@ Property / cites work @@
+Lower bounds for resolution and cutting plane proofs and monotone computations
+Normal rank
@@ Property / cites work @@
+Q4934563
@@ Property / cites work: Q4934563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758729
@@ Property / cites work: Q3758729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054818
@@ Property / cites work: Q4054818 / rank @@
+Normal rank