BOOK-CHAPTER
Cutting Plane Proofs
Year: 2011 Algorithms and combinatorics Pages: 521-556 Publisher: Springer Nature
Keywords:
Mathematical proof Generalization Resolution (logic) Integer (computer science) Plane (geometry) Cutting-plane method Mathematics Elementary proof Integer programming Computer science Discrete mathematics Algorithm Geometry Programming language Mathematical analysis
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.00
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Scheduling and Optimization Algorithms
Physical Sciences → Engineering → Industrial and Manufacturing Engineering
Vehicle Routing Optimization Methods
Physical Sciences → Engineering → Industrial and Manufacturing Engineering
Assembly Line Balancing Optimization
Physical Sciences → Engineering → Industrial and Manufacturing Engineering
Related Documents
JOURNAL ARTICLE
Cutting Plane and Frege Proofs
Journal: Information and Computation Year: 1995 Vol: 121 (1)Pages: 103-122
JOURNAL ARTICLE
Cutting-plane proofs in polynomial space
Journal: Mathematical Programming Year: 1990 Vol: 47 (1-3)Pages: 11-18
JOURNAL ARTICLE
On cutting-plane proofs in combinatorial optimization
Vašek ChvátalWilliam J. CookMark Hartmann
Journal: Linear Algebra and its Applications Year: 1989 Vol: 114-115 Pages: 455-499
JOURNAL ARTICLE
On the complexity of cutting-plane proofs
William J. CookCollette R. CoullardGy. Turán
Journal: Discrete Applied Mathematics Year: 1987 Vol: 18 (1)Pages: 25-38
JOURNAL ARTICLE
Clique problem, cutting plane proofs and communication complexity
Journal: Information Processing Letters Year: 2012 Vol: 112 (20)Pages: 772-777