The University of Texas at Austin, Austin, TX 78712, USA
Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth McMillan, Risto Miikkulainen
Propositional satisfiability;Graph Neural Networks;CDCL SAT Solving;Backbone;Phase Prediction
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks