APA (7th ed.) Citation

Cotnareanu, J., Zhang, Z., Zhen, H., Zhang, Y., & Coates, M. (2024). HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation.

Chicago Style (17th ed.) Citation

Cotnareanu, Joseph, Zhanguang Zhang, Hui-Ling Zhen, Yingxue Zhang, and Mark Coates. HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation. 2024.

MLA (9th ed.) Citation

Cotnareanu, Joseph, et al. HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation. 2024.