Johann Zuber

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

First Order Logic

Theorem Proving

Top Venues

Publications

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