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

@@ Property / describes a project that uses @@
+PATRICIA
@@ Property / describes a project that uses: PATRICIA / 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/s10817-006-9054-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2002443204
@@ Property / OpenAlex ID: W2002443204 / rank @@
+Normal rank
@@ 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