Enhancing SMT Quality and Efficiency With Self-Adaptive Collaborative Optimization. - Zhengkai Li; Hao Sun 020; Jiansu Gong; Zhaonan Chen; Xinbo Meng; Xinghu Yu; Zhihong Zhao; Jianbin Qiu; Huijun Gao (IEEE Trans. Cybern., 2025)