DPvis - A Tool to Visualize the Structure of SAT Instances. - Carsten Sinz; Edda-Maria Dieringer (SAT, 2005)