M. Rengaraj, “Multicore SMT-BMC for Embedded Co-Design: MaxSMT-Aided Hardware/Software Partitioning at Scale”, Int. J. Intell. Syst. Data Sci., vol. 1, no. 3, Jun. 2026, doi: 10.67231/fy1wxz49.