qq_43616091的博客

原创 G2SAT: Learning to Generate SAT Formulas论文精读

这篇文章所提出的G2SAT框架以一组公式为输入，学习SAT公式的生成。文章使用二部图的表示形式对SAT公式进行建模，以图和SAT求解器两种度量展示了其生成的SAT公式的现实的SAT实例的相似性。更重要的是，使用其生成的SAT公式，能够提升现有SAT求解器的求解性能。