Matches in SemOpenAlex for { <https://semopenalex.org/work/W1602695763> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1602695763 abstract "We present some initial ideas of a new lower bound technique which captures, in a strong way, the structure of optimal circuits. The key observation is that optimal circuits are unstable not only w.r.t. deletion of gates but also w.r.t. renaming gates. Such an unstability allows one to extract some useful information about the inner structure of optimal circuits. We demonstrate the technique by new exponential lower bounds on the size of null-chain-free formulae over the basis {∧, ∨, ¬} approximating subsets of the Boolean n—cube, and in particular, for formulae computing ”semi-slice” functions, i.e. functions f such that, for some k<l ≤ m, $$f = f wedge T_k^n wedge - T_l^n vee T_m^n ,$$where T k n is the k—th threshold function." @default.
- W1602695763 created "2016-06-24" @default.
- W1602695763 creator A5048543827 @default.
- W1602695763 date "1991-01-01" @default.
- W1602695763 modified "2023-09-26" @default.
- W1602695763 title "Optimal versus stable in Boolean formulae" @default.
- W1602695763 cites W1492643781 @default.
- W1602695763 cites W1991547553 @default.
- W1602695763 cites W2043629999 @default.
- W1602695763 cites W2054417980 @default.
- W1602695763 cites W2152772468 @default.
- W1602695763 cites W2330503368 @default.
- W1602695763 cites W2569195351 @default.
- W1602695763 doi "https://doi.org/10.1007/3-540-54458-5_71" @default.
- W1602695763 hasPublicationYear "1991" @default.
- W1602695763 type Work @default.
- W1602695763 sameAs 1602695763 @default.
- W1602695763 citedByCount "0" @default.
- W1602695763 crossrefType "book-chapter" @default.
- W1602695763 hasAuthorship W1602695763A5048543827 @default.
- W1602695763 hasConcept C11413529 @default.
- W1602695763 hasConcept C114614502 @default.
- W1602695763 hasConcept C118615104 @default.
- W1602695763 hasConcept C121332964 @default.
- W1602695763 hasConcept C131017901 @default.
- W1602695763 hasConcept C134146338 @default.
- W1602695763 hasConcept C134306372 @default.
- W1602695763 hasConcept C141796577 @default.
- W1602695763 hasConcept C151376022 @default.
- W1602695763 hasConcept C187455244 @default.
- W1602695763 hasConcept C2524010 @default.
- W1602695763 hasConcept C26517878 @default.
- W1602695763 hasConcept C33923547 @default.
- W1602695763 hasConcept C38652104 @default.
- W1602695763 hasConcept C41008148 @default.
- W1602695763 hasConcept C47422493 @default.
- W1602695763 hasConcept C62520636 @default.
- W1602695763 hasConcept C77553402 @default.
- W1602695763 hasConceptScore W1602695763C11413529 @default.
- W1602695763 hasConceptScore W1602695763C114614502 @default.
- W1602695763 hasConceptScore W1602695763C118615104 @default.
- W1602695763 hasConceptScore W1602695763C121332964 @default.
- W1602695763 hasConceptScore W1602695763C131017901 @default.
- W1602695763 hasConceptScore W1602695763C134146338 @default.
- W1602695763 hasConceptScore W1602695763C134306372 @default.
- W1602695763 hasConceptScore W1602695763C141796577 @default.
- W1602695763 hasConceptScore W1602695763C151376022 @default.
- W1602695763 hasConceptScore W1602695763C187455244 @default.
- W1602695763 hasConceptScore W1602695763C2524010 @default.
- W1602695763 hasConceptScore W1602695763C26517878 @default.
- W1602695763 hasConceptScore W1602695763C33923547 @default.
- W1602695763 hasConceptScore W1602695763C38652104 @default.
- W1602695763 hasConceptScore W1602695763C41008148 @default.
- W1602695763 hasConceptScore W1602695763C47422493 @default.
- W1602695763 hasConceptScore W1602695763C62520636 @default.
- W1602695763 hasConceptScore W1602695763C77553402 @default.
- W1602695763 hasLocation W16026957631 @default.
- W1602695763 hasOpenAccess W1602695763 @default.
- W1602695763 hasPrimaryLocation W16026957631 @default.
- W1602695763 hasRelatedWork W1484418787 @default.
- W1602695763 hasRelatedWork W1526667530 @default.
- W1602695763 hasRelatedWork W1544866824 @default.
- W1602695763 hasRelatedWork W1566753984 @default.
- W1602695763 hasRelatedWork W1601605622 @default.
- W1602695763 hasRelatedWork W1623626896 @default.
- W1602695763 hasRelatedWork W1815786200 @default.
- W1602695763 hasRelatedWork W1844179933 @default.
- W1602695763 hasRelatedWork W1919528438 @default.
- W1602695763 hasRelatedWork W1977010224 @default.
- W1602695763 hasRelatedWork W2002068271 @default.
- W1602695763 hasRelatedWork W2004222053 @default.
- W1602695763 hasRelatedWork W2025523787 @default.
- W1602695763 hasRelatedWork W2094783265 @default.
- W1602695763 hasRelatedWork W2126231769 @default.
- W1602695763 hasRelatedWork W2394746612 @default.
- W1602695763 hasRelatedWork W2466056838 @default.
- W1602695763 hasRelatedWork W2537001886 @default.
- W1602695763 hasRelatedWork W2942099076 @default.
- W1602695763 hasRelatedWork W2952360260 @default.
- W1602695763 isParatext "false" @default.
- W1602695763 isRetracted "false" @default.
- W1602695763 magId "1602695763" @default.
- W1602695763 workType "book-chapter" @default.