Approximate Model Counting via Extension Rule (Q3452569): Difference between revisions

@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+sharpSAT
@@ Property / describes a project that uses: sharpSAT / 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.1007/978-3-319-19647-3_22
+Normal rank
@@ Property / OpenAlex ID @@
+W2399637032
@@ Property / OpenAlex ID: W2399637032 / 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 @@
+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 @@
+Q5503674
@@ Property / cites work: Q5503674 / 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 @@
+Leveraging belief propagation, backtrack search, and statistics for model counting
+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
@@ Property / cites work @@
+Q5687271
@@ Property / cites work: Q5687271 / rank @@
+Normal rank