SATGraf

swMATH14761MaRDI QIDQ26658FDOQ26658

Author name not available (Why is that?)

Described by source

• 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