Yasol: An Open Source Solver for Quantified Mixed Integer Programs.
Thorsten EdererMichael HartischUlf LorenzThomas OpferJan WolfPublished in: ACG (2017)
Keyphrases
- open source
- mixed integer program
- feasible solution
- linear program
- lot sizing
- mixed integer
- cutting plane
- lagrangian relaxation
- linear programming
- valid inequalities
- integer programming
- continuous variables
- tree search
- optimal solution
- tabu search
- neural network
- binary variables
- convex hull
- search algorithm
- primal dual