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

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

Published in: CP (2020)

Keyphrases

neural network
optimization problems
evolutionary algorithm
special case
description logics
logic programs
np complete
satisfiability problem