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

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

Revision as of 12:20, 1 July 2023