TY  - RPRT
TI  - MatSat: a matrix-based differentiable SAT solver
AU  - Taisuke Sato
AU  - Ryosuke Kojima
PY  - 2021
UR  - https://arxiv.org/abs/2108.06481
ID  - 2108.06481
ER  -