Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT.
Manish GoyalDavid BergmanParasara Sridhar DuggiralaPublished in: ACC (2020)
Keyphrases
- mixed integer linear programming
- branch and bound algorithm
- cutting plane
- mathematical programming
- production planning
- upper bound
- mixed integer nonlinear programming
- lower bound
- mixed integer linear program
- model checking
- mixed integer
- road network
- column generation
- combinatorial optimization
- np hard
- cost function
- integer program
- evolutionary algorithm
- optimal solution