Efficient query processing with reduced implicate tries (Q877893): Difference between revisions

@@ Property / cites work @@
+Decomposable negation normal form
@@ Property / cites work: Decomposable negation normal form / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation using the extension rule
@@ Property / cites work: Knowledge compilation using the extension rule / rank @@
+Normal rank
@@ Property / cites work @@
+Normal Forms for Knowledge Compilation
@@ Property / cites work: Normal Forms for Knowledge Compilation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264736
@@ Property / cites work: Q4264736 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard problems for simple default logics
@@ Property / cites work: Hard problems for simple default logics / rank @@
+Normal rank
@@ Property / cites work @@
+An incremental method for generating prime implicants/implicates
+Normal rank
@@ Property / cites work @@
+Dissolution
@@ Property / cites work: Dissolution / rank @@
+Normal rank
@@ Property / cites work @@
+Duality in Knowledge Compilation Techniques
@@ Property / cites work: Duality in Knowledge Compilation Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+An algorithm to compute circumscription
@@ Property / cites work: An algorithm to compute circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+CNF and DNF considered harmful for computing prime implicants/implicates
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Generating Prime Implicants
@@ Property / cites work: A New Algorithm for Generating Prime Implicants / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time algorithms for generation of prime implicants
+Normal rank