Rengaraj M. Multicore SMT-BMC for Embedded Co-Design: MaxSMT-Aided Hardware/Software Partitioning at Scale. Int. J. Intell. Syst. Data Sci. 2026;1(3). doi:10.67231/fy1wxz49