Understanding GNNs for Boolean Satisfiability through Approximation Algorithms

Re-assign community