Optimal SAT-based scheduler for time-triggered networks-on-a-chip. - Christian Scholer; Rene Krenz-Baath; Ayman Murshed; Roman Obermaisser (SIES, 2015)

Computing optimal communication schedules for time-triggered networks using an SMT solver. - Christian Scholer; Rene Krenz-Baath; Ayman Murshed; Roman Obermaisser (SIES, 2016)