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: KDD (2023)
Keyphrases
  • phase transition
  • information theoretic
  • search algorithm
  • special case
  • np hard
  • hierarchical structure
  • sat solvers
  • graph structure