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