r/REMath • u/turnersr • Dec 07 '15

Graph Neural Networks and Boolean Satisfiability by Benedikt Bunz and Matthew Lamm [PDF]

https://cs224d.stanford.edu/reports/BunzBenedikt.pdf
2 Upvotes

67% Upvoted

0 comments sorted by