SATViz: Real-Time Visualization of Clausal Proofs. - Tim Holzenkamp; Kevin Kuryshev; Thomas Oltmann; Lucas Wäldele; Johann Zuber; Tobias Heuer; Markus Iser (CoRR, 2022)