Planning and Scheduling by Logic-Based Benders Decomposition 论文

2007Operations Research引用 296
DOI
Constraint Satisfaction and OptimizationFormal Methods in VerificationScheduling and Optimization Algorithms
Formal Methods in VerificationScheduling and Optimization AlgorithmsConstraint Satisfaction and Optimization
相关技术:Formal Methods in VerificationScheduling and Optimization AlgorithmsConstraint Satisfaction and Optimization
关系图谱

Planning and Scheduling by Logic-Based Benders Decomposition · 作者

J

John Hooker