@misc{indiciae0d3e03896f12,
  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 = {2024},
  url = {https://arxiv.org/abs/2302.02104},
  note = {Source identifier: 2302.02104}
}