Sign in
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems.
Zhaoyu Li
Xujie Si
Published in:
CoRR (2022)
Keyphrases
</>
satisfiability problem
special case
probabilistic model
np complete
stochastic local search algorithms
learning algorithm
stochastic local search