EasyChair Smart SlideDocs/Log in
Author: Johann Zuber

This page shows all presentations of this author published in EasyChair Smart Slide.

SATViz: Real-Time Visualization of Clausal Proofs

SATViz: Real-Time Visualization of Clausal Proofs

Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer and Markus Iser

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair