Cited in
(11)- Visual search tree profiling
- Decomposing SAT problems into connected components
- Visualizing SAT instances and runs of the DPLL algorithm
- iSat
- MinisatID
- SATGraf
- VIFID/TRIFID
- Oz Explorer
- DiSCiPl
- SAT graph-based representation: A new perspective
- \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers
This page was built for software: DPvis
