共 50 条
- [22] MiniCP: a lightweight solver for constraint programming Mathematical Programming Computation, 2021, 13 : 133 - 184
- [26] A mixed integer dual quadratic programming algorithm tailored for MPC PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 5693 - 5698
- [30] Constraint solver synthesis using tabled resolution for constraint logic programming LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 32 - 47