Citazione Stile APA (7a Edizione)

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.

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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