SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation. - Junjie Sheng; Yanqiu Lin; Jiehao Wu; Yanhong Huang; Jianqi Shi; Min Zhang; Xiangfeng Wang (NIER@ICSE, 2025)