Rengaraj, Monisha. “Multicore SMT-BMC for Embedded Co-Design: MaxSMT-Aided Hardware Software Partitioning at Scale”. International Journal of Intelligent Systems and Data Science, vol. 1, no. 3, June 2026, https://doi.org/10.67231/fy1wxz49.