Leveraging belief propagation, backtrack search, and statistics for model counting (Q545553): Difference between revisions

@@ Property / DOI @@
-.1007/s10479-009-0680-7
@@ Property / DOI: 10.1007/s10479-009-0680-7 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C27
@@ Property / Mathematics Subject Classification ID: 90C27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5911484
@@ Property / zbMATH DE Number: 5911484 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Boolean satisfiability
@@ Property / zbMATH Keywords: Boolean satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SAT
@@ Property / zbMATH Keywords: SAT / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+number of solutions
@@ Property / zbMATH Keywords: number of solutions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model counting
@@ Property / zbMATH Keywords: model counting / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bpcount
@@ Property / zbMATH Keywords: bpcount / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+minicount
@@ Property / zbMATH Keywords: minicount / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+lower bounds
@@ Property / zbMATH Keywords: lower bounds / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+upper bounds
@@ Property / zbMATH Keywords: upper bounds / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DIMACS
@@ Property / describes a project that uses: DIMACS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSat
@@ Property / describes a project that uses: RSat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2066514569
@@ Property / OpenAlex ID: W2066514569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624187
@@ Property / cites work: Q3624187 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5538132
@@ Property / cites work: Q5538132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5740444
@@ Property / cites work: Q5740444 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Propagation Methods for Boolean Satisfiability
+Normal rank
@@ Property / cites work @@
+Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting
+Normal rank
@@ Property / cites work @@
+Stochastic Boolean satisfiability
@@ Property / cites work: Stochastic Boolean satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+A new look at survey propagation and its generalizations
+Normal rank
@@ Property / cites work @@
+Q3997653
@@ Property / cites work: Q3997653 / 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 @@
+Q5687271
@@ Property / cites work: Q5687271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427515
@@ Property / cites work: Q4427515 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of computing the permanent
@@ Property / cites work: The complexity of computing the permanent / 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 @@
+Constructing Free-Energy Approximations and Generalized Belief Propagation Algorithms
+Normal rank
@@ Property / cites work @@
+CCCP Algorithms to Minimize the Bethe and Kikuchi Free Energies: Convergent Alternatives to Belief Propagation
+Normal rank
@@ Property / DOI @@
+.1007/S10479-009-0680-7
@@ Property / DOI: 10.1007/S10479-009-0680-7 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:545553