TY  - RPRT
TI  - Short Resolution Refutations for CNFs with Bounded Weighted Incidence Treewidth
AU  - Shaowei Cai
AU  - Ziqun Li
PY  - 2026
UR  - https://arxiv.org/abs/2610.02047
ID  - 2610.02047
ER  -