DPvis

swMATH219MaRDI QIDQ12984FDOQ12984

Author name not available (Why is that?)

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

Described by source

• Theory and Applications of Satisfiability Testing

Cited In (11)

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

This page was built for software: DPvis