SATViz: Real-Time Visualization of Clausal Proofs
Authors: Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer and Markus Iser
Paper Information
| Title: | SATViz: Real-Time Visualization of Clausal Proofs |
| Authors: | Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer and Markus Iser |
| Proceedings: | POS PoS'22 FLoC papers |
| Editors: | Daniel Le Berre and Matti Järvisalo |
| Keywords: | Visualization, CDCL Algorithm, SAT Solving |
| Pages: | 10 |
| Talk: | Aug 01 16:00 (Session 37K: Proofs II) |
| Paper: |  |