Generating SAT instances with community structure
From MaRDI portal
(Redirected from Publication:309919)
Recommendations
- Community structure inspired algorithms for SAT and \#SAT
- The community structure of SAT formulas
- Impact of Community Structure on SAT Solver Performance
- Community structure in industrial SAT instances
- On the hardness of SAT with community structure
- SAT-based models for overlapping community detection in networks
- On the community structure of bounded model checking SAT problems
- Generating Diverse Solutions in SAT
Cites work
- scientific article; zbMATH DE number 1954175 (Why is no real title available?)
- Community branching for parallel portfolio SAT solvers
- Community-Based Partitioning for MaxSAT Solving
- Emergence of Scaling in Random Networks
- Exploiting resolution-based representations for MaxSAT solving
- Finding efficient circuits for ensemble computation
- Hyperbolic graph generator
- Impact of Community Structure on SAT Solver Performance
- Ten challenges \textit{redux}: recent progress in propositional reasoning and search
- The community structure of SAT formulas
- The complexity of theorem-proving procedures
- The fractal dimension of SAT formulas
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- Using Community Structure to Detect Relevant Learnt Clauses
- \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers
Cited in
(14)- Impact of Community Structure on SAT Solver Performance
- On the hierarchical community structure of practical Boolean formulas
- A model of random industrial SAT
- Solving non-uniform planted and filtered random SAT formulas greedily
- Popularity-similarity random SAT formulas
- Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden
- Generating random instances of weighted model counting. An empirical analysis with varying primal treewidth
- Learning a propagation complete formula
- New models for generating hard random Boolean formulas and disjunctive logic programs
- The community structure of SAT formulas
- The fractal dimension of SAT formulas
- On the hardness of SAT with community structure
- Community structure in industrial SAT instances
- Satisfiability threshold for power law random 2-SAT in configuration model
Describes a project that uses
Uses Software
This page was built for publication: Generating SAT instances with community structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q309919)
