Model counting with error-correcting codes (Q2009186): Difference between revisions

@@ Property / cites work @@
+Short XORs for Model Counting: From Theory to Practice
+Normal rank
@@ Property / cites work @@
+Q5740444
@@ Property / cites work: Q5740444 / rank @@
+Normal rank
@@ Property / cites work @@
+On computing minimal independent support and its applications to sampling and counting
+Normal rank
@@ Property / cites work @@
+Modern Coding Theory
@@ Property / cites work: Modern Coding Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Expander codes
@@ Property / cites work: Expander codes / rank @@
+Normal rank
@@ Property / cites work @@
+On Approximation Algorithms for # P
@@ Property / cites work: On Approximation Algorithms for # P / rank @@
+Normal rank
@@ Property / cites work @@
+NP is as easy as detecting unique solutions
@@ Property / cites work: NP is as easy as detecting unique solutions / rank @@
+Normal rank