1 code implementation • 26 Feb 2019 • Yamin Hu, Wenjian Luo, Junteng Wang
Although some generating algorithms have been proposed to generate SAT formulas with predefined solutions, community structures of SAT formulas are not considered.