On renamable Horn and generalized Horn functions (Q1356207): Difference between revisions

@@ Property / author @@
-Peter L. Hammer
@@ Property / author: Peter L. Hammer / rank @@
-Normal rank
@@ Property / author @@
+Peter L. Hammer
@@ Property / author: Peter L. Hammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hornlog
@@ Property / describes a project that uses: Hornlog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+An \(O(n^ 2)\) algorithm for the satisfiability problem of a subset of propositional sentences in CNF that includes all Horn sentences
+Normal rank
@@ Property / cites work @@
+Recognizing disguised NR(1) instances of the satisfiability problem
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Some results and experiments in programming techniques for propositional logic
+Normal rank
@@ Property / cites work @@
+Q3097395
@@ Property / cites work: Q3097395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Linear programming is log-space hard for P
@@ Property / cites work: Linear programming is log-space hard for P / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Paths, Trees, and Flowers
@@ Property / cites work: Paths, Trees, and Flowers / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the complexity of the satisfiability of modal Horn clauses
+Normal rank
@@ Property / cites work @@
+HORNLOG: A graph-based interpreter for general Horn clauses
+Normal rank
@@ Property / cites work @@
+Unit Refutations and Horn Sets
@@ Property / cites work: Unit Refutations and Horn Sets / rank @@
+Normal rank
@@ Property / cites work @@
+On renaming a set of clauses as a Horn set
@@ Property / cites work: On renaming a set of clauses as a Horn set / rank @@
+Normal rank
@@ Property / cites work @@
+Renaming a Set of Clauses as a Horn Set
@@ Property / cites work: Renaming a Set of Clauses as a Horn Set / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01531069
+Normal rank
@@ Property / OpenAlex ID @@
+W1970750671
@@ Property / OpenAlex ID: W1970750671 / rank @@
+Normal rank