APA (7th ed.) Citation

Sheng, J., Lin, Y., Wu, J., Huang, Y., Shi, J., Zhang, M., & Wang, X. (2025). SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Sheng, Junjie, et al. SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation. 2025.