Graph Neural Networks and Boolean Satisfiability
The Graph Neural Network Model