RENGARAJ, Monisha. Multicore SMT-BMC for Embedded Co-Design: MaxSMT-Aided Hardware/Software Partitioning at Scale. International Journal of Intelligent Systems and Data Science, [S. l.], v. 1, n. 3, 2026. DOI: 10.67231/fy1wxz49. Disponível em: https://journals.femington.com/ijisds/article/view/22. Acesso em: 17 aug. 2026.