Search Results for author: Kenneth McMillan

Found 1 papers, 1 papers with code

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

1 code implementation26 Oct 2021 Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth McMillan, Risto Miikkulainen

Aiming to make GNN improvements practical, this paper proposes an approach called NeuroBack, which builds on two insights: (1) predicting phases (i. e., values) of variables appearing in the majority (or even all) of the satisfying assignments are essential for CDCL SAT solving, and (2) it is sufficient to query the neural model only once for the predictions before the SAT solving starts.

Cannot find the paper you are looking for? You can Submit a new open access paper.