Visualizing SAT Instances and Runs of the DPLL Algorithm.

Carsten Sinz Visualizing SAT Instances and Runs of the DPLL Algorithm. 219-243 2007 39 J. Autom. Reasoning 2 http://dx.doi.org/10.1007/s10817-007-9074-1 db/journals/jar/jar39.html#Sinz07