Sign in

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline.

Yang LiXinyan ChenWenxuan GuoXijun LiWanqian LuoJunhua HuangHui-Ling ZhenMingxuan YuanJunchi Yan
Published in: CoRR (2023)
Keyphrases
  • phase transition
  • generation process
  • random sat
  • neural network
  • information theoretic
  • hierarchical structure
  • randomly generated