TY  - RPRT
TI  - SATViz: Real-Time Visualization of Clausal Proofs
AU  - Tim Holzenkamp
AU  - Kevin Kuryshev
AU  - Thomas Oltmann
AU  - Lucas Wäldele
AU  - Johann Zuber
AU  - Tobias Heuer
AU  - Ashlin Iser
PY  - 2026
UR  - https://arxiv.org/abs/2209.05838
ID  - 2209.05838
ER  -