TY  - RPRT
TI  - Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
AU  - Jan Hůla
AU  - David Mojžíšek
AU  - Mikoláš Janota
PY  - 2024
UR  - https://arxiv.org/abs/2408.15418
ID  - 2408.15418
ER  -