Zhengkai Li, Hao Sun, Jiansu Gong, Zhaonan Chen, Xinbo Meng, Xinghu Yu, Zhihong Zhao, Jianbin Qiu, Huijun Gao. Enhancing SMT Quality and Efficiency With Self-Adaptive Collaborative Optimization. IEEE T. Cybernetics, 55(3):1409-1420, March 2025. [doi]
Abstract is missing.