Graph-Based Attention for Differentiable MaxSAT Solving

Open in new window