Matches in SemOpenAlex for { <https://semopenalex.org/work/W2744562989> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2744562989 abstract "Abstract A Boolean function given in a conjunctive normal form is Horn if every clause contains at most one positive literal, and it is pure Horn if every clause contains exactly one positive literal. Due to their computational tractability, Horn functions are studied extensively in many areas of computer science and mathematics such as combinatorics, artificial intelligence, database theory, algebra and logic. The present paper considers the problem of finding minimal representations of pure Horn functions. We give a new proof for a recent min–max result of Boros et al. regarding body-minimal representations. The proof is algorithmic and finds the so called Guigues–Duquenne basis. We also describe a new construction that combines two existing representations into a third one." @default.
- W2744562989 created "2017-08-17" @default.
- W2744562989 creator A5029594729 @default.
- W2744562989 creator A5064012507 @default.
- W2744562989 date "2017-12-01" @default.
- W2744562989 modified "2023-09-27" @default.
- W2744562989 title "Directed hypergraphs and Horn minimization" @default.
- W2744562989 cites W106642128 @default.
- W2744562989 cites W1551410838 @default.
- W2744562989 cites W1570891932 @default.
- W2744562989 cites W1593671397 @default.
- W2744562989 cites W1873174914 @default.
- W2744562989 cites W2011992362 @default.
- W2744562989 cites W2012644520 @default.
- W2744562989 cites W2061936891 @default.
- W2744562989 cites W2070781429 @default.
- W2744562989 cites W2082049134 @default.
- W2744562989 cites W2092197458 @default.
- W2744562989 cites W2112660220 @default.
- W2744562989 cites W2163148061 @default.
- W2744562989 cites W2787006615 @default.
- W2744562989 doi "https://doi.org/10.1016/j.ipl.2017.07.013" @default.
- W2744562989 hasPublicationYear "2017" @default.
- W2744562989 type Work @default.
- W2744562989 sameAs 2744562989 @default.
- W2744562989 citedByCount "0" @default.
- W2744562989 crossrefType "journal-article" @default.
- W2744562989 hasAuthorship W2744562989A5029594729 @default.
- W2744562989 hasAuthorship W2744562989A5064012507 @default.
- W2744562989 hasConcept C11413529 @default.
- W2744562989 hasConcept C114614502 @default.
- W2744562989 hasConcept C118615104 @default.
- W2744562989 hasConcept C136119220 @default.
- W2744562989 hasConcept C14036430 @default.
- W2744562989 hasConcept C152076505 @default.
- W2744562989 hasConcept C15744967 @default.
- W2744562989 hasConcept C16221470 @default.
- W2744562989 hasConcept C187455244 @default.
- W2744562989 hasConcept C189790780 @default.
- W2744562989 hasConcept C19417346 @default.
- W2744562989 hasConcept C202444582 @default.
- W2744562989 hasConcept C2780882242 @default.
- W2744562989 hasConcept C33923547 @default.
- W2744562989 hasConcept C41008148 @default.
- W2744562989 hasConcept C78458016 @default.
- W2744562989 hasConcept C80444323 @default.
- W2744562989 hasConcept C81721847 @default.
- W2744562989 hasConcept C86803240 @default.
- W2744562989 hasConceptScore W2744562989C11413529 @default.
- W2744562989 hasConceptScore W2744562989C114614502 @default.
- W2744562989 hasConceptScore W2744562989C118615104 @default.
- W2744562989 hasConceptScore W2744562989C136119220 @default.
- W2744562989 hasConceptScore W2744562989C14036430 @default.
- W2744562989 hasConceptScore W2744562989C152076505 @default.
- W2744562989 hasConceptScore W2744562989C15744967 @default.
- W2744562989 hasConceptScore W2744562989C16221470 @default.
- W2744562989 hasConceptScore W2744562989C187455244 @default.
- W2744562989 hasConceptScore W2744562989C189790780 @default.
- W2744562989 hasConceptScore W2744562989C19417346 @default.
- W2744562989 hasConceptScore W2744562989C202444582 @default.
- W2744562989 hasConceptScore W2744562989C2780882242 @default.
- W2744562989 hasConceptScore W2744562989C33923547 @default.
- W2744562989 hasConceptScore W2744562989C41008148 @default.
- W2744562989 hasConceptScore W2744562989C78458016 @default.
- W2744562989 hasConceptScore W2744562989C80444323 @default.
- W2744562989 hasConceptScore W2744562989C81721847 @default.
- W2744562989 hasConceptScore W2744562989C86803240 @default.
- W2744562989 hasFunder F4320321994 @default.
- W2744562989 hasLocation W27445629891 @default.
- W2744562989 hasOpenAccess W2744562989 @default.
- W2744562989 hasPrimaryLocation W27445629891 @default.
- W2744562989 hasRelatedWork W127510381 @default.
- W2744562989 hasRelatedWork W1484529399 @default.
- W2744562989 hasRelatedWork W171221553 @default.
- W2744562989 hasRelatedWork W1976090015 @default.
- W2744562989 hasRelatedWork W1991763698 @default.
- W2744562989 hasRelatedWork W1999427653 @default.
- W2744562989 hasRelatedWork W2011992362 @default.
- W2744562989 hasRelatedWork W2064560955 @default.
- W2744562989 hasRelatedWork W2090326529 @default.
- W2744562989 hasRelatedWork W2138678870 @default.
- W2744562989 hasRelatedWork W2165311764 @default.
- W2744562989 hasRelatedWork W2170035714 @default.
- W2744562989 hasRelatedWork W2184897734 @default.
- W2744562989 hasRelatedWork W2241125478 @default.
- W2744562989 hasRelatedWork W2270335673 @default.
- W2744562989 hasRelatedWork W2294892320 @default.
- W2744562989 hasRelatedWork W2773585566 @default.
- W2744562989 hasRelatedWork W2969267394 @default.
- W2744562989 hasRelatedWork W2981948274 @default.
- W2744562989 hasRelatedWork W3125377157 @default.
- W2744562989 isParatext "false" @default.
- W2744562989 isRetracted "false" @default.
- W2744562989 magId "2744562989" @default.
- W2744562989 workType "article" @default.