APA-Zitierstil (7. Ausg.)

Li, Y., Chen, X., Guo, W., Li, X., Luo, W., Huang, J., . . . Yan, J. (2023). HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline.

Chicago-Zitierstil (17. Ausg.)

Li, Yang, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, und Junchi Yan. HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. 2023.

MLA-Zitierstil (9. Ausg.)

Li, Yang, et al. HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. 2023.