@misc{indiciae3466c58318ab,
  title = {Scaling Zero Knowledge UNSAT Verification via Normalized Chaining},
  author = {Ashwin Karthikeyan and Ethan Kharitonov and Kuldeep S. Meel and Anwar Hithnawi},
  year = {2026},
  url = {https://arxiv.org/abs/2609.19353},
  note = {Source identifier: 2609.19353}
}