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

@@ 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