Horn functions and their DNFs (Q1195858): Difference between revisions

@@ Property / describes a project that uses @@
+Ltur
@@ Property / describes a project that uses: Ltur / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time inference of all valid implications for Horn and related formulae
+Normal rank
@@ Property / cites work @@
+Q3680754
@@ Property / cites work: Q3680754 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
+Normal rank
@@ Property / cites work @@
+A Way to Simplify Truth Functions
@@ Property / cites work: A Way to Simplify Truth Functions / rank @@
+Normal rank