共 50 条
- [23] Leveraging Linear and Mixed Integer Programming for SMT 2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 139 - 146
- [27] Efficient mixed integer programming for autonomous overtaking 2017 AMERICAN CONTROL CONFERENCE (ACC), 2017, : 2303 - 2308
- [29] A new mixed integer programming approach for optimization over the efficient set of a multiobjective linear programming problem Optimization Letters, 2020, 14 : 2323 - 2333