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

Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang

Browse the full CP paper archive.