On the complexity of cutting-plane proofs 论文

1987Discrete Applied Mathematics引用 271
graph theory and CDMA systemsComplexity and Algorithms in GraphsPolynomial and algebraic computation