ML Anthology

Wang, Wenxi

1 publications

ICLR 2024 NeuroBack: Improving CDCL SAT Solving Using Graph Neural Networks Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth McMillan, Risto Miikkulainen