Understanding GNNs for Boolean Satisfiability through Approximation Algorithms

Open in new window