Impact of Community Structure on SAT Solver Performance
From MaRDI portal
Publication:3192075
DOI10.1007/978-3-319-09284-3_20zbMath1423.68465OpenAlexW2129791282MaRDI QIDQ3192075
Vijay Ganesh, Sebastian Fischmeister, Zack Newsham, Laurent Simon, Gilles Audemard
Publication date: 26 September 2014
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-09284-3_20
Related Items (11)
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers ⋮ Community Structure Inspired Algorithms for SAT and #SAT ⋮ Using Community Structure to Detect Relevant Learnt Clauses ⋮ Evaluating CDCL Variable Scoring Schemes ⋮ Generating SAT instances with community structure ⋮ The impact of heterogeneity and geometry on the proof complexity of random satisfiability ⋮ New width parameters for SAT and \#SAT ⋮ Learning Rate Based Branching Heuristic for SAT Solvers ⋮ On the Hardness of SAT with Community Structure ⋮ On the hierarchical community structure of practical Boolean formulas ⋮ A model of random industrial SAT
Uses Software
This page was built for publication: Impact of Community Structure on SAT Solver Performance