TY  - RPRT
TI  - HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
AU  - Yang Li
AU  - Xinyan Chen
AU  - Wenxuan Guo
AU  - Xijun Li
AU  - Wanqian Luo
AU  - Junhua Huang
AU  - Hui-Ling Zhen
AU  - Mingxuan Yuan
AU  - Junchi Yan
PY  - 2024
UR  - https://arxiv.org/abs/2302.02104
ID  - 2302.02104
ER  -