SATGraf

swMATH14761MaRDI QIDQ26658FDOQ26658

Author name not available (Why is that?)

Described by source

• \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers

Cited In (2)

• Visual search tree profiling
• Generating SAT instances with community structure

This page was built for software: SATGraf