TY  - RPRT
TI  - SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
AU  - Junjie Sheng
AU  - Yanqiu Lin
AU  - Jiehao Wu
AU  - Yanhong Huang
AU  - Jianqi Shi
AU  - Min Zhang
AU  - Xiangfeng Wang
PY  - 2025
UR  - https://arxiv.org/abs/2502.14328
ID  - 2502.14328
ER  -