Graph-Based Attention for Differentiable MaxSAT Solving | Read Paper on Bytez