Leveraging linear and mixed integer programming for SMT.

Tim King Clark W. Barrett Cesare Tinelli

Published in: FMCAD (2014)

Keyphrases

mixed integer programming
column generation
mixed integer
lagrangian relaxation
dantzig wolfe decomposition
lot sizing
production planning
unit commitment
evolutionary algorithm
logistic regression