Attn-JGNN: Attention Enhanced Join-Graph Neural Networks

Jixin Zhang

We propose an Attention Enhanced Join-Graph Neural Networks(Attn-JGNN) model for solving #SAT problems, which significantly improves the solving accuracy. Inspired by the Iterative…