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

2009Mathematical Programming引用 270
Constraint Satisfaction and OptimizationFormal Methods in VerificationVehicle Routing Optimization Methods