SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers

DOI10.1007/978-3-319-24318-4_6zbMath1471.68258OpenAlexW2172820611MaRDI QIDQ3453211

Krzysztof Czarnecki, Jia Hui Liang, Vijay Ganesh, Sebastian Fischmeister, Zack Newsham, William Lindsay

Publication date: 20 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24318-4_6

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

Visual search tree profiling ⋮ SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers ⋮ Generating SAT instances with community structure ⋮ SATGraf

Uses Software

• DPvis
• MiniSat
• Graphviz
• iSat

Cites Work

• The Community Structure of SAT Formulas
• Impact of Community Structure on SAT Solver Performance
• SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers
• Community structure in social and biological networks
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing

This page was built for publication: SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers