Sign in

NSNet: A General Neural Probabilistic Framework for Satisfiability Problems.

Zhaoyu LiXujie Si
Published in: CoRR (2022)
Keyphrases
  • satisfiability problem
  • special case
  • probabilistic model
  • np complete
  • stochastic local search algorithms
  • learning algorithm
  • stochastic local search