The approximation of implicates and explanations (Q1308780): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of abduction
@@ Property / cites work: The computational complexity of abduction / rank @@
+Normal rank
@@ Property / cites work @@
+An incremental method for generating prime implicants/implicates
+Normal rank
@@ Property / cites work @@
+Q3198897
@@ Property / cites work: Q3198897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750448
@@ Property / cites work: Q5750448 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+On the number of prime implicants
@@ Property / cites work: On the number of prime implicants / rank @@
+Normal rank
@@ Property / cites work @@
+Q5721398
@@ Property / cites work: Q5721398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3489523
@@ Property / cites work: Q3489523 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of terminological reasoning in BACK
+Normal rank
@@ Property / cites work @@
+The approximation of implicates and explanations
@@ Property / cites work: The approximation of implicates and explanations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1308780