Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization.

Weichen Liu, Zonghua Gu, Yaoyao Ye

Browse the full CASES paper archive.