共 50 条
- [32] OPTIMAL COEFFICIENTS MODULO COMPOSITE NUMBERS MONATSHEFTE FUR MATHEMATIK, 1985, 100 (02): : 127 - 135
- [33] Toward optimal motif enumeration ALGORITHMS AND DATA STRUCTURES, PROCEEDINGS, 2003, 2748 : 47 - 58
- [35] Time constrained modulo scheduling with global resource sharing DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, 1999, : 210 - 216
- [36] Resource constrained modulo scheduling with global resource sharing 11TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS - PROCEEDINGS, 1998, : 60 - 65
- [38] Railway Scheduling Using Boolean Satisfiability Modulo Simulations FORMAL METHODS, FM 2023, 2023, 14000 : 56 - 73
- [40] Reuse-Aware Modulo Scheduling for Stream Processors 2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 1112 - 1117