Incremental polynomial time dualization of quadratic functions and a subclass of degree-\(k\) functions (Q646712): Difference between revisions

@@ Property / cites work @@
+Complexity of identification and dualization of positive Boolean functions
+Normal rank
@@ Property / cites work @@
+Polynomial-time inference of all valid implications for Horn and related formulae
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Recognition of 2-Monotonic Positive Boolean Functions Given by an Oracle
+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 @@
+Q3077976
@@ Property / cites work: Q3077976 / 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 @@
+Recognition and dualization of disguised bidual Horn functions.
+Normal rank
@@ Property / cites work @@
+New Results on Monotone Dualization and Generating Hypergraph Transversals
+Normal rank
@@ Property / cites work @@
+Computational aspects of monotone dualization: a brief survey
+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 @@
+Equational characterizations of Boolean function classes
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+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 @@
+Generating All Maximal Independent Sets: NP-Hardness and Polynomial-Time Algorithms
+Normal rank
@@ Property / cites work @@
+Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms
+Normal rank
@@ Property / cites work @@
+A Fast and Simple Algorithm for Identifying 2-Monotonic Positive Boolean Functions
+Normal rank
@@ Property / cites work @@
+Algorithm Theory - SWAT 2004
@@ Property / cites work: Algorithm Theory - SWAT 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time algorithms for regular set-covering and threshold synthesis
+Normal rank
@@ Property / cites work @@
+An \(O(nm)\)-time algorithm for computing the dual of a regular Boolean function
+Normal rank
@@ Property / cites work @@
+The Problem of Simplifying Truth Functions
@@ Property / cites work: The Problem of Simplifying Truth Functions / rank @@
+Normal rank