共 50 条
- [5] Solving real-time scheduling problems with model-checking EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2005, 3820 : 186 - 197
- [7] EFFICIENCY OF LINEAR PROGRAMMING ALGORITHMS IN SOLVING REAL INTEGER LINEAR PROGRAMMING PROBLEMS ELECTRONISCHE DATENVERARBEITUNG, 1969, 11 (12): : 597 - +
- [8] EVALUATING MIXED INTEGER PROGRAMMING MODELS FOR SOLVING STOCHASTIC INVENTORY PROBLEMS 2019 WINTER SIMULATION CONFERENCE (WSC), 2019, : 1696 - 1707
- [10] Formal languages for integer programming modeling of shift scheduling problems Constraints, 2011, 16 : 54 - 76