NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
Paper
•
2110.14053
•
Published
•
1
Yang Hu
huyang0905
·
AI & ML interests
None yet
Organizations
authored
a
paper
about 2 years ago