TY  - RPRT
TI  - Machine Learning for SAT: Restricted Heuristics and New Graph Representations
AU  - Mikhail Shirokikh
AU  - Ilya Shenbin
AU  - Anton Alekseev
AU  - Sergey Nikolenko
PY  - 2023
UR  - https://arxiv.org/abs/2307.09141
ID  - 2307.09141
ER  -