DPvis

MaRDI QIDQ12984swMATHFDO

Official website http://www-sr.informatik.uni-tuebingen.de/~sinz/DPvis/

Described by source

• Theory and Applications of Satisfiability Testing

Cited in

(11)

• Visualizing SAT instances and runs of the DPLL algorithm
• Visual search tree profiling
• VIFID/TRIFID
• MinisatID
• SATGraf
• iSat
• Decomposing SAT problems into connected components
• \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers
• SAT graph-based representation: A new perspective
• Oz Explorer
• DiSCiPl

This page was built for software: DPvis