Neural heuristics for SAT solving

27 May 2020

Henryk Michalewski

Papers citing "Neural heuristics for SAT solving"

4 / 4 papers shown

Title
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems Zhaoyu Li X. Si BDL NAI 83 12 0 07 Nov 2022
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks Wenxi Wang Yang Hu Mohit Tiwari S. Khurshid K. McMillan Risto Miikkulainen GNN NAI 74 8 0 26 Oct 2021
Enhancing SAT solvers with glue variable predictions Jesse Michael Han NAI AAML 89 14 0 06 Jul 2020
Can $Q$ -Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver? Vitaly Kurin Saad Godil Shimon Whiteson Bryan Catanzaro NAI 76 28 0 26 Sep 2019