On the hierarchical community structure of practical Boolean formulas (Q2118321): Difference between revisions

@@ Property / OpenAlex ID @@
+W3184756489
@@ Property / OpenAlex ID: W3184756489 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability, branch-width and Tseitin tautologies
+Normal rank
@@ Property / cites work @@
+The Fractal Dimension of SAT Formulas
@@ Property / cites work: The Fractal Dimension of SAT Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+The Community Structure of SAT Formulas
@@ Property / cites work: The Community Structure of SAT Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs are narrow—resolution made simple
@@ Property / cites work: Short proofs are narrow—resolution made simple / rank @@
+Normal rank
@@ Property / cites work @@
+Fast unfolding of communities in large networks
@@ Property / cites work: Fast unfolding of communities in large networks / rank @@
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Random forests
@@ Property / cites work: Random forests / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012216
@@ Property / cites work: Q4012216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Random 3-SAT: The plot thickens
@@ Property / cites work: Random 3-SAT: The plot thickens / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Generating SAT instances with community structure
@@ Property / cites work: Generating SAT instances with community structure / rank @@
+Normal rank
@@ Property / cites work @@
+Expander graphs and their applications
@@ Property / cites work: Expander graphs and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Rate Based Branching Heuristic for SAT Solvers
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+Normal rank
@@ Property / cites work @@
+On the Hardness of SAT with Community Structure
@@ Property / cites work: On the Hardness of SAT with Community Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Impact of Community Structure on SAT Solver Performance
+Normal rank
@@ Property / cites work @@
+Q5396710
@@ Property / cites work: Q5396710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5148371
@@ Property / cites work: Q5148371 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating hard satisfiability problems
@@ Property / cites work: Generating hard satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3272888
@@ Property / cites work: Q3272888 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank