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). https://doi.org/10.67231/fy1wxz49