TY  - RPRT
TI  - Approximate Polynomial Satisfiability is in the Counting Hierarchy
AU  - Nikhil Balaji
AU  - Mahsa Shirmohammadi
AU  - Sébastien Tavenas
AU  - James Worrell
PY  - 2026
UR  - https://arxiv.org/abs/2610.00644
ID  - 2610.00644
ER  -