TY  - RPRT
TI  - One-Shot Learning for k-SAT
AU  - Andreas Galanis
AU  - Leslie Ann Goldberg
AU  - Xusheng Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2502.07135
ID  - 2502.07135
ER  -