共 50 条
- [49] Improving Delivery Performance in High-Mix Low-Volume Manufacturing by Model-Based and Data-Driven Methods APPLIED SCIENCES-BASEL, 2022, 12 (11):
- [50] Learning from BDDs in SAT-based bounded model checking 40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 824 - 829