Two approximate algorithms for model counting (Q507433): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 03B05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W25
@@ Property / Mathematics Subject Classification ID: 68W25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6680871
@@ Property / zbMATH DE Number: 6680871 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+propositional satisfiability
@@ Property / zbMATH Keywords: propositional satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model counting
@@ Property / zbMATH Keywords: model counting / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+resolution principle
@@ Property / zbMATH Keywords: resolution principle / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+extension rule
@@ Property / zbMATH Keywords: extension rule / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+sharpSAT
@@ Property / describes a project that uses: sharpSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2016.04.047
+Normal rank
@@ Property / OpenAlex ID @@
+W2413589572
@@ Property / OpenAlex ID: W2413589572 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning as satisfiability: heuristics
@@ Property / cites work: Planning as satisfiability: heuristics / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a theory of random walk planning: Regress factors, fair homogeneous graphs and extensions
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Leveraging belief propagation, backtrack search, and statistics for model counting
+Normal rank
@@ Property / cites work @@
+Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference
+Normal rank
@@ Property / cites work @@
+Q3624106
@@ Property / cites work: Q3624106 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256519
@@ Property / cites work: Q4256519 / 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 @@
+Q3624187
@@ Property / cites work: Q3624187 / 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 @@
+Random generation of combinatorial structures from a uniform distribution
+Normal rank
@@ Property / cites work @@
+Theorem proving based on the extension rule
@@ Property / cites work: Theorem proving based on the extension rule / rank @@
+Normal rank
@@ Property / cites work @@
+CNF-Satisfiability Test by Counting and Polynomial Average Time
+Normal rank
@@ Property / cites work @@
+Solving #SAT Using Extension Rules
@@ Property / cites work: Solving #SAT Using Extension Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate inclusion-exclusion
@@ Property / cites work: Approximate inclusion-exclusion / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusion-exclusion: exact and approximate
@@ Property / cites work: Inclusion-exclusion: exact and approximate / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:507433