TY  - RPRT
TI  - An Improved Algorithm for Sparse Instances of SAT
AU  - Sanjay Jain
AU  - Tzeh Yuan Neoh
AU  - Frank Stephan
PY  - 2024
UR  - https://arxiv.org/abs/2411.07389
ID  - 2411.07389
ER  -