Double Horn functions (Q1271644): Difference between revisions

@@ 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.1006/inco.1998.2713
+Normal rank
@@ Property / OpenAlex ID @@
+W1965189594
@@ Property / OpenAlex ID: W1965189594 / rank @@
+Normal rank
@@ Property / cites work @@
+Occam's razor
@@ Property / cites work: Occam's razor / rank @@
+Normal rank
@@ Property / cites work @@
+Error-free and best-fit extensions of partially defined Boolean functions
+Normal rank
@@ Property / cites work @@
+Q3491589
@@ Property / cites work: Q3491589 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Structure identification in relational data
@@ Property / cites work: Structure identification in relational data / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Boolean \(\mu\)-expressions
@@ Property / cites work: Generating Boolean \(\mu\)-expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370203
@@ Property / cites work: Q4370203 / 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 @@
+Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Preferential Arrangements
@@ Property / cites work: Preferential Arrangements / rank @@
+Normal rank
@@ Property / cites work @@
+Q4120519
@@ Property / cites work: Q4120519 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4695825
@@ Property / cites work: Q4695825 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal compression of propositional Horn knowledge bases: Complexity and approximation
+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 sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+The Complexity of Very Simple Boolean Formulas with Applications
+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 @@
+Combinatorial characterization of read-once formulae
+Normal rank
@@ Property / cites work @@
+Horn approximations of empirical data
@@ Property / cites work: Horn approximations of empirical data / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268444
@@ Property / cites work: Q4268444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4871262
@@ Property / cites work: Q4871262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+Why Horn formulas matter in computer science: initial structures and generic examples
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Functions computed by monotone Boolean formulas with no repeated variables
+Normal rank
@@ Property / cites work @@
+Computational limitations on learning from examples
+Normal rank
@@ Property / cites work @@
+A Way to Simplify Truth Functions
@@ Property / cites work: A Way to Simplify Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268317
@@ Property / cites work: Q3268317 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of the learnable
@@ Property / cites work: A theory of the learnable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762226
@@ Property / cites work: Q3762226 / rank @@
+Normal rank