An enumerative algorithm for \#2SAT (Q283678): Difference between revisions

@@ Property / DOI @@
-.1016/j.endm.2014.08.012
@@ Property / DOI: 10.1016/j.endm.2014.08.012 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+R05
@@ Property / Mathematics Subject Classification ID: 68R05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A15
@@ Property / Mathematics Subject Classification ID: 05A15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+R10
@@ Property / Mathematics Subject Classification ID: 68R10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W05
@@ Property / Mathematics Subject Classification ID: 68W05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6580818
@@ Property / zbMATH DE Number: 6580818 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\#SAT problem
@@ Property / zbMATH Keywords: \#SAT problem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+counting models
@@ Property / zbMATH Keywords: counting models / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+enumerative algorithm
@@ Property / zbMATH Keywords: enumerative algorithm / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+efficient counting
@@ Property / zbMATH Keywords: efficient counting / 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.endm.2014.08.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2094368491
@@ Property / OpenAlex ID: W2094368491 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Counting models for 2SAT and 3SAT formulae
@@ Property / cites work: Counting models for 2SAT and 3SAT formulae / rank @@
+Normal rank
@@ Property / cites work @@
+On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
+Normal rank
@@ Property / cites work @@
+On the hardness of approximate reasoning
@@ Property / cites work: On the hardness of approximate reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2701738
@@ Property / cites work: Q2701738 / 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 / DOI @@
+.1016/J.ENDM.2014.08.012
@@ Property / DOI: 10.1016/J.ENDM.2014.08.012 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:283678