DPvis - A Tool to Visualize the Structure of SAT Instances.

Carsten Sinz, Edda-Maria Dieringer

Browse the full SAT paper archive.