Efficient SAT-based application mapping and scheduling on multiprocessor systems for throughput maximization | IEEE Conference Publication | IEEE Xplore