1 code implementation • 16 Feb 2024 • Yiwen Sun, Xianyin Zhang, Shiyu Huang, Shaowei Cai, Bing-Zhen Zhang, Ke Wei
Heuristics are crucial in SAT solvers, while no heuristic rules are suitable for all problem instances.