TY  - RPRT
TI  - Training Neural Networks using SAT solvers
AU  - Subham S. Sahoo
PY  - 2022
UR  - https://arxiv.org/abs/2206.04833
ID  - 2206.04833
ER  -