Reoptimization Techniques for MIP Solvers.
Gerald GamrathBenjamin HillerJakob WitzigPublished in: SEA (2015)
Keyphrases
- mixed integer programming
- mathematical programming
- sat solvers
- mixed integer linear
- feasible solution
- computationally hard problems
- column generation
- cost model
- constraint satisfaction
- constraint programming
- databases
- database
- search strategies
- constraint satisfaction problems
- multiscale
- global constraints
- constraint solver
- real time