Rengaraj, M. (2026) “Multicore SMT-BMC for Embedded Co-Design: MaxSMT-Aided Hardware/Software Partitioning at Scale”, International Journal of Intelligent Systems and Data Science, 1(3). doi:10.67231/fy1wxz49.