Sign in

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks.

Minghao LiuFan ZhangPei HuangShuzi NiuFeifei MaJian Zhang
Published in: CP (2020)
Keyphrases
  • neural network
  • optimization problems
  • evolutionary algorithm
  • special case
  • description logics
  • logic programs
  • np complete
  • satisfiability problem