TY  - RPRT
TI  - Solving Restricted Versions of #SAT Faster than $2^m$: Algorithms and Lower Bounds
AU  - Sanjay Jain
AU  - Junqiang Peng
AU  - Frank Stephan
AU  - Mingyu Xiao
PY  - 2026
UR  - https://arxiv.org/abs/2610.15426
ID  - 2610.15426
ER  -