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