Disjunctive Programming and a Hierarchy of Relaxations for Discrete Optimization Problems 论文
1985SIAM Journal on Algebraic and Discrete Methods引用 448
Formal Methods in VerificationScheduling and Optimization AlgorithmsOptimization and Search Problems