Picture for Jan Hůla

Jan Hůla

Understanding GNNs for Boolean Satisfiability through Approximation Algorithms

Add code
Aug 27, 2024
Figure 1 for Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Figure 2 for Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Figure 3 for Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Figure 4 for Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
Viaarxiv icon