Multi-core model checking and maximum satisfiability applied to hardware-software partitioning. - Alessandro Bezerra Trindade; Renato De Faria Degelo; Edilson Galvão Dos Santos Junior; Hussama Ibrahim Ismail; Helder Cruz Da Silva; Lucas Carvalho Cordeiro (Int. J. Embed. Syst., 2017)