Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems | IEEE Journals & Magazine | IEEE Xplore