共 50 条
- [31] DESIGN OPTIMIZATION OF HYDRAULIC NETWORKS USING MIXED INTEGER LINEAR-PROGRAMMING JOURNAL OF MECHANICAL DESIGN-TRANSACTIONS OF THE ASME, 1982, 104 (04): : 837 - 843
- [35] Leveraging Linear and Mixed Integer Programming for SMT 2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 139 - 146