TY  - RPRT
TI  - A Resolution-Based Interactive Proof System for UNSAT
AU  - Philipp Czerner
AU  - Javier Esparza
AU  - Valentin Krasotin
AU  - Adrian Krauss
PY  - 2026
DO  - 10.46298/lmcs-22(2:17)2026
UR  - https://arxiv.org/abs/2401.14996
ID  - 2401.14996
ER  -