@article{hardsatgenunderstandingthedifficultyof,
  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},
  eprint = {2302.02104},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2302.02104v3},
}