BOOK-CHAPTER

Cutting Plane Proofs

Stasys Jukna

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

Peter Clote

Journal:   Information and Computation Year: 1995 Vol: 121 (1)Pages: 103-122
JOURNAL ARTICLE

Cutting-plane proofs in polynomial space

William J. Cook

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

Stasys Jukna

Journal:   Information Processing Letters Year: 2012 Vol: 112 (20)Pages: 772-777
© 2026 ScienceGate Book Chapters — All rights reserved.