NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks.

Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen

Browse the full ICLR paper archive.