Rengaraj, Monisha. 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.