SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.

Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki

Browse the full SAT paper archive.