SATViz: Real-Time Visualization of Clausal Proofs

Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann +4

Visual layouts of graphs representing SAT instances can highlight the community structure of SAT instances. The community structure of SAT instances has been associated with both i…