15 citations · 42 across the 14 of their papers we have counts for
1 paper · 2 filters
Zhaoyu Li, Xujie Si
We present the Neural Satisfiability Network (NSNet), a general neural framework that models satisfiability problems as probabilistic inference and meanwhile exhibits proper explai…