A More Scalable Mixed-Integer Encoding for Metric Temporal Logic.
Vince KurtzHai LinPublished in: CoRR (2021)
Keyphrases
- mixed integer
- metric temporal logic
- linear program
- lot sizing
- mixed integer programming
- benders decomposition
- convex hull
- optimal solution
- facility location
- feasible solution
- mixed integer program
- continuous relaxation
- network design problem
- lagrangian heuristic
- cutting plane
- continuous variables
- neural network
- linear programming
- totally unimodular
- quadratic program