McGill University, Mila – Quebec AI Institute, CIFAR AI Research Chair; McGill University, Mila – Quebec AI Institute
Zhaoyu Li, Xujie Si
satisfiability problems;model counting;graphical model;Belief Propagation;graph neural network;marginal inference;partition function estimation
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems