Understanding GNNs for Boolean Satisfiability through Approximation Algorithms.

Jan Hula, David Mojzsek, Mikols Janota

Browse the full CIKM paper archive.