Graph-Based Attention for Differentiable MaxSAT Solving

TL;DR

The use of deep learning to solve fundamental AI problems such as Boolean Satisfiability (SAT) has been explored recently to develop robust and scalable reasoning systems…

Opening excerpt from the authors’ abstract. source