Impact of Community Structure on SAT Solver Performance
From MaRDI portal
Recommendations
- Community structure inspired algorithms for SAT and \#SAT
- On the hardness of SAT with community structure
- The community structure of SAT formulas
- On the community structure of bounded model checking SAT problems
- Generating SAT instances with community structure
- Community structure in industrial SAT instances
- Community-Based Partitioning for MaxSAT Solving
- SAT-based models for overlapping community detection in networks
- Community branching for parallel portfolio SAT solvers
- On the hierarchical community structure of practical Boolean formulas
Cited in
(19)- Using Community Structure to Detect Relevant Learnt Clauses
- Backdoor DNFs
- On the hierarchical community structure of practical Boolean formulas
- A model of random industrial SAT
- The impact of heterogeneity and geometry on the proof complexity of random satisfiability
- New width parameters for SAT and \#SAT
- Popularity-similarity random SAT formulas
- Generating SAT instances with community structure
- Decision levels are stable: towards better SAT heuristics
- Community-Based Partitioning for MaxSAT Solving
- Evaluating CDCL variable scoring schemes
- Parallel clause sharing strategy based on graph structure of SAT problem
- On the community structure of bounded model checking SAT problems
- The community structure of SAT formulas
- On the hardness of SAT with community structure
- Community structure inspired algorithms for SAT and \#SAT
- Community structure in industrial SAT instances
- Learning rate based branching heuristic for SAT solvers
- \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers
This page was built for publication: Impact of Community Structure on SAT Solver Performance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192075)
