TY - RPRT TI - Short Point Lists for CNFs and Stronger Constant-Depth Circuit Hardness AU - Xin Li AU - Yan Zhong PY - 2026 UR - https://arxiv.org/abs/2610.27127 ID - 2610.27127 ER -