Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan. HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. In Ambuj Singh, Yizhou Sun, Leman Akoglu, Dimitrios Gunopulos, Xifeng Yan, Ravi Kumar 0001, Fatma Ozcan, Jieping Ye, editors, Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, KDD 2023, Long Beach, CA, USA, August 6-10, 2023. pages 4414-4425, ACM, 2023. [doi]
@inproceedings{LiCGLLHZYY23,
title = {HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline},
author = {Yang Li and Xinyan Chen and Wenxuan Guo and Xijun Li and Wanqian Luo and Junhua Huang and Hui-Ling Zhen and Mingxuan Yuan and Junchi Yan},
year = {2023},
doi = {10.1145/3580305.3599837},
url = {https://doi.org/10.1145/3580305.3599837},
researchr = {https://researchr.org/publication/LiCGLLHZYY23},
cites = {0},
citedby = {0},
pages = {4414-4425},
booktitle = {Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, KDD 2023, Long Beach, CA, USA, August 6-10, 2023},
editor = {Ambuj Singh and Yizhou Sun and Leman Akoglu and Dimitrios Gunopulos and Xifeng Yan and Ravi Kumar 0001 and Fatma Ozcan and Jieping Ye},
publisher = {ACM},
}