TY  - RPRT
TI  - Scaling Zero Knowledge UNSAT Verification via Normalized Chaining
AU  - Ashwin Karthikeyan
AU  - Ethan Kharitonov
AU  - Kuldeep S. Meel
AU  - Anwar Hithnawi
PY  - 2026
UR  - https://arxiv.org/abs/2609.19353
ID  - 2609.19353
ER  -