DPvis

swMATH219MaRDI QIDQ12984FDOQ12984

Author name not available (Why is that?)

Described by source

• Theory and Applications of Satisfiability Testing

Cited In (5)

• Visual search tree profiling
• SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers
• Visualizing SAT instances and runs of the DPLL algorithm
• SAT graph-based representation: A new perspective
• Title not available (Why is that?)

This page was built for software: DPvis