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

Browse the full ICSE paper archive.