28 citations · 35 across the 14 of their papers we have counts for
1 paper · 1 filter
Geri Skenderi
Graph Neural Networks (GNNs) have gathered increasing interest as learnable solvers of Boolean Satisfiability Problems (SATs), operating on graph representations of logical formula…