Rengaraj, Monisha. “Multicore SMT-BMC for Embedded Co-Design: MaxSMT-Aided Hardware Software Partitioning at Scale”. International Journal of Intelligent Systems and Data Science 1, no. 3 (June 29, 2026). Accessed August 17, 2026. https://journals.femington.com/ijisds/article/view/22.