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

@@ Property / author @@
-Demetrios Achlioptas
@@ Property / author: Demetrios Achlioptas / rank @@
-Normal rank
@@ Property / author @@
+Demetrios Achlioptas
@@ Property / author: Demetrios Achlioptas / 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 @@
+CryptoMiniSat
@@ Property / describes a project that uses: CryptoMiniSat / 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/s10601-018-9296-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2912201758
@@ Property / OpenAlex ID: W2912201758 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q128436436
@@ Property / Wikidata QID: Q128436436 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2009186