TY  - RPRT
TI  - Neural Approaches to SAT Solving: Design Choices and Interpretability
AU  - David Mojžíšek
AU  - Jan Hůla
AU  - Ziwei Li
AU  - Ziyu Zhou
AU  - Mikoláš Janota
PY  - 2025
UR  - https://arxiv.org/abs/2504.01173
ID  - 2504.01173
ER  -