TY  - RPRT
TI  - torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
AU  - Abdelrahman Hosny
AU  - Sherief Reda
PY  - 2024
UR  - https://arxiv.org/abs/2402.03640
ID  - 2402.03640
ER  -