Recognition and dualization of disguised bidual Horn functions. (Q1853017): Difference between revisions

@@ 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 @@
+Complexity of identification and dualization of positive Boolean functions
+Normal rank
@@ Property / cites work @@
+Dual subimplicants of positive Boolean functions
@@ Property / cites work: Dual subimplicants of positive Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+Dualization of regular Boolean functions
@@ Property / cites work: Dualization of regular Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+Identifying the Minimal Transversals of a Hypergraph and Related Problems
+Normal rank
@@ Property / cites work @@
+Double Horn functions
@@ Property / cites work: Double Horn functions / rank @@
+Normal rank
@@ Property / cites work @@
+Bidual Horn functions and extensions
@@ Property / cites work: Bidual Horn functions and extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Horn functions and submodular Boolean functions
@@ Property / cites work: Horn functions and submodular Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Timetable and Multicommodity Flow Problems
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+Removing redundancy from a clause
@@ Property / cites work: Removing redundancy from a clause / rank @@
+Normal rank
@@ Property / cites work @@
+Horn functions and their DNFs
@@ Property / cites work: Horn functions and their DNFs / rank @@
+Normal rank
@@ Property / cites work @@
+On generating all maximal independent sets
@@ Property / cites work: On generating all maximal independent sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4871262
@@ Property / cites work: Q4871262 / 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 @@
+The Maximum Latency and Identification of Positive Boolean Functions
+Normal rank
@@ Property / cites work @@
+LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / cites work @@
+Q3762226
@@ Property / cites work: Q3762226 / rank @@
+Normal rank