FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155269751> ?p ?o ?g. }

• W2155269751 endingPage "363" @default.
• W2155269751 startingPage "327" @default.
• W2155269751 abstract "We study the hardness of approximation of clause minimum and literal minimum representations of pure Horn functions in n Boolean variables. We show that unless P=NP, it is not possible to approximate in polynomial time the minimum number of clauses and the minimum number of literals of pure Horn CNF representations to within a factor of $2^{log^{1-o(1)} n}$ . This is the case even when the inputs are restricted to pure Horn 3-CNFs with O(n 1+ε ) clauses, for some small positive constant ε. Furthermore, we show that even allowing sub-exponential time computation, it is still not possible to obtain constant factor approximations for such problems unless the Exponential Time Hypothesis turns out to be false." @default.
• W2155269751 created "2016-06-24" @default.
• W2155269751 creator A5021394758 @default.
• W2155269751 creator A5057621825 @default.
• W2155269751 date "2014-05-07" @default.
• W2155269751 modified "2023-09-29" @default.
• W2155269751 title "Hardness results for approximate pure Horn CNF formulae minimization" @default.
• W2155269751 cites W1540171566 @default.
• W2155269751 cites W1593671397 @default.
• W2155269751 cites W1984659874 @default.
• W2155269751 cites W1985572324 @default.
• W2155269751 cites W1990216234 @default.
• W2155269751 cites W1997369416 @default.
• W2155269751 cites W2011992362 @default.
• W2155269751 cites W2012644520 @default.
• W2155269751 cites W2016232593 @default.
• W2155269751 cites W2019578639 @default.
• W2155269751 cites W2021929022 @default.
• W2155269751 cites W2036265926 @default.
• W2155269751 cites W2056277969 @default.
• W2155269751 cites W2061936891 @default.
• W2155269751 cites W2070989606 @default.
• W2155269751 cites W2079107830 @default.
• W2155269751 cites W2086653003 @default.
• W2155269751 cites W2108552370 @default.
• W2155269751 cites W2125632628 @default.
• W2155269751 cites W2148352980 @default.
• W2155269751 cites W2153413398 @default.
• W2155269751 cites W3144422206 @default.
• W2155269751 cites W4205585032 @default.
• W2155269751 cites W4298227433 @default.
• W2155269751 cites W966413371 @default.
• W2155269751 doi "https://doi.org/10.1007/s10472-014-9415-9" @default.
• W2155269751 hasPublicationYear "2014" @default.
• W2155269751 type Work @default.
• W2155269751 sameAs 2155269751 @default.
• W2155269751 citedByCount "12" @default.
• W2155269751 countsByYear W21552697512012 @default.
• W2155269751 countsByYear W21552697512013 @default.
• W2155269751 countsByYear W21552697512015 @default.
• W2155269751 countsByYear W21552697512016 @default.
• W2155269751 countsByYear W21552697512017 @default.
• W2155269751 countsByYear W21552697512018 @default.
• W2155269751 countsByYear W21552697512019 @default.
• W2155269751 countsByYear W21552697512022 @default.
• W2155269751 crossrefType "journal-article" @default.
• W2155269751 hasAuthorship W2155269751A5021394758 @default.
• W2155269751 hasAuthorship W2155269751A5057621825 @default.
• W2155269751 hasBestOaLocation W21552697512 @default.
• W2155269751 hasConcept C112955886 @default.
• W2155269751 hasConcept C11413529 @default.
• W2155269751 hasConcept C114614502 @default.
• W2155269751 hasConcept C118615104 @default.
• W2155269751 hasConcept C126255220 @default.
• W2155269751 hasConcept C134306372 @default.
• W2155269751 hasConcept C147764199 @default.
• W2155269751 hasConcept C148764684 @default.
• W2155269751 hasConcept C151376022 @default.
• W2155269751 hasConcept C152076505 @default.
• W2155269751 hasConcept C15744967 @default.
• W2155269751 hasConcept C16221470 @default.
• W2155269751 hasConcept C187455244 @default.
• W2155269751 hasConcept C189790780 @default.
• W2155269751 hasConcept C19417346 @default.
• W2155269751 hasConcept C199360897 @default.
• W2155269751 hasConcept C2777027219 @default.
• W2155269751 hasConcept C2780882242 @default.
• W2155269751 hasConcept C28826006 @default.
• W2155269751 hasConcept C311688 @default.
• W2155269751 hasConcept C33923547 @default.
• W2155269751 hasConcept C41008148 @default.
• W2155269751 hasConcept C45374587 @default.
• W2155269751 hasConcept C71017364 @default.
• W2155269751 hasConcept C81721847 @default.
• W2155269751 hasConcept C90119067 @default.
• W2155269751 hasConceptScore W2155269751C112955886 @default.
• W2155269751 hasConceptScore W2155269751C11413529 @default.
• W2155269751 hasConceptScore W2155269751C114614502 @default.
• W2155269751 hasConceptScore W2155269751C118615104 @default.
• W2155269751 hasConceptScore W2155269751C126255220 @default.
• W2155269751 hasConceptScore W2155269751C134306372 @default.
• W2155269751 hasConceptScore W2155269751C147764199 @default.
• W2155269751 hasConceptScore W2155269751C148764684 @default.
• W2155269751 hasConceptScore W2155269751C151376022 @default.
• W2155269751 hasConceptScore W2155269751C152076505 @default.
• W2155269751 hasConceptScore W2155269751C15744967 @default.
• W2155269751 hasConceptScore W2155269751C16221470 @default.
• W2155269751 hasConceptScore W2155269751C187455244 @default.
• W2155269751 hasConceptScore W2155269751C189790780 @default.
• W2155269751 hasConceptScore W2155269751C19417346 @default.
• W2155269751 hasConceptScore W2155269751C199360897 @default.
• W2155269751 hasConceptScore W2155269751C2777027219 @default.
• W2155269751 hasConceptScore W2155269751C2780882242 @default.
• W2155269751 hasConceptScore W2155269751C28826006 @default.
• W2155269751 hasConceptScore W2155269751C311688 @default.
• W2155269751 hasConceptScore W2155269751C33923547 @default.
• W2155269751 hasConceptScore W2155269751C41008148 @default.
• W2155269751 hasConceptScore W2155269751C45374587 @default.

• next