Progressively strengthening and tuning MIP solvers for reoptimization.

Krunal Kishor Patel

Published in: Math. Program. Comput. (2024)

Keyphrases

mixed integer programming
feasible solution
parameter tuning
sat solvers
mathematical programming
tuning parameters
fine tuning
numerically stable
parameter settings
cost model
lot sizing
sat solving
eigenvalue problems