TY  - RPRT
TI  - NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
AU  - Wenxi Wang
AU  - Yang Hu
AU  - Mohit Tiwari
AU  - Sarfraz Khurshid
AU  - Kenneth McMillan
AU  - Risto Miikkulainen
PY  - 2024
UR  - https://arxiv.org/abs/2110.14053
ID  - 2110.14053
ER  -