NSNet: A General Neural Probabilistic Framework for Satisfiability Problems - Li, Zhaoyu; Si, Xujie (Advances in Neural Information Processing Systems, 2022)