Sun, Y., Ye, F., Zhang, X., Huang, S., Zhang, B., Wei, K., & Cai, S. (2024). AutoSAT: Automatically Optimize SAT Solvers via Large Language Models.
Style de citation Chicago (17e éd.)Sun, Yiwen, Furong Ye, Xianyin Zhang, Shiyu Huang, Bingzhen Zhang, Ke Wei, et Shaowei Cai. AutoSAT: Automatically Optimize SAT Solvers via Large Language Models. 2024.
Style de citation MLA (9e éd.)Sun, Yiwen, et al. AutoSAT: Automatically Optimize SAT Solvers via Large Language Models. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.