@inproceedings{neuro_iclr24,
title = {NeuroBack: Improving {CDCL} {SAT} Solving using Graph Neural Networks},
author = {Wenxi Wang and Yang Hu and Mohit Tiwari and Sarfraz Khurshid and Kenneth McMillan and Risto Miikkulainen},
booktitle = {The Twelfth International Conference on Learning Representations (ICLR)},
year = {2024}
}
links