Leveraging Linear and Mixed Integer Programming for SMT.

Tim King Clark W. Barrett Cesare Tinelli

Published in: SMT (2014)

Keyphrases

mixed integer programming
column generation
mixed integer
lot sizing
dantzig wolfe decomposition
production planning
unit commitment
lagrangian relaxation
computational complexity
sufficient conditions
loss function
multistage
linear program