Modeling disjunctive constraints with a logarithmic number of binary variables and constraints 论文

2009Mathematical Programming引用 270
DOI
Constraint Satisfaction and OptimizationFormal Methods in VerificationVehicle Routing Optimization Methods
Vehicle Routing Optimization MethodsFormal Methods in VerificationConstraint Satisfaction and Optimization
相关技术:Vehicle Routing Optimization MethodsFormal Methods in VerificationConstraint Satisfaction and Optimization
关系图谱

Modeling disjunctive constraints with a logarithmic number of binary variables and constraints · 作者

G

George L. Nemhauser

J

Juan Pablo Vielma