Automatic synthesis of constraints from examples using mixed integer linear programming.
Tomasz P. PawlakKrzysztof KrawiecPublished in: Eur. J. Oper. Res. (2017)
Keyphrases
- mixed integer linear programming
- mixed integer
- branch and bound algorithm
- cutting plane
- mixed integer nonlinear programming
- production planning
- training data
- lower bound
- constraint satisfaction
- global constraints
- search algorithm
- sufficient conditions
- convex hull
- branch and bound
- mathematical programming
- lot sizing