TY  - RPRT
TI  - Quantifier Elimination Meets Treewidth
AU  - Hao Wu
AU  - Jiyu Zhu
AU  - Amir Kafshdar Goharshady
AU  - Jie An
AU  - Bican Xia
AU  - Naijun Zhan
PY  - 2026
UR  - https://arxiv.org/abs/2601.00312
ID  - 2601.00312
ER  -