https://openreview.net/forum?id=f-FQE1fjPK
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems | OpenReview
We propose a general neural framework for solving SAT and #SAT problems by modeling satisfiability problems as probabilistic inference.
generalneuralprobabilisticframeworksatisfiability