Matches in SemOpenAlex for { <https://semopenalex.org/work/W2406951567> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2406951567 startingPage "71" @default.
- W2406951567 abstract "We present a moderately exponential time algorithm for the satisfiability of Boolean formulas over the full binary basis. For formulas of size at most cn, our algorithm runs in time $${2^{(1-mu_{c})n}}$$ for some constant μ c > 0. As a byproduct of the running time analysis of our algorithm, we obtain strong average-case hardness of affine extractors for linear-sized formulas over the full binary basis." @default.
- W2406951567 created "2016-06-24" @default.
- W2406951567 creator A5037874806 @default.
- W2406951567 creator A5079503752 @default.
- W2406951567 date "2012-01-01" @default.
- W2406951567 modified "2023-09-28" @default.
- W2406951567 title "A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis." @default.
- W2406951567 hasPublicationYear "2012" @default.
- W2406951567 type Work @default.
- W2406951567 sameAs 2406951567 @default.
- W2406951567 citedByCount "0" @default.
- W2406951567 crossrefType "journal-article" @default.
- W2406951567 hasAuthorship W2406951567A5037874806 @default.
- W2406951567 hasAuthorship W2406951567A5079503752 @default.
- W2406951567 hasConcept C11413529 @default.
- W2406951567 hasConcept C114614502 @default.
- W2406951567 hasConcept C118615104 @default.
- W2406951567 hasConcept C12426560 @default.
- W2406951567 hasConcept C134306372 @default.
- W2406951567 hasConcept C151376022 @default.
- W2406951567 hasConcept C168773769 @default.
- W2406951567 hasConcept C199360897 @default.
- W2406951567 hasConcept C202444582 @default.
- W2406951567 hasConcept C2524010 @default.
- W2406951567 hasConcept C2777027219 @default.
- W2406951567 hasConcept C33923547 @default.
- W2406951567 hasConcept C41008148 @default.
- W2406951567 hasConcept C48372109 @default.
- W2406951567 hasConcept C6943359 @default.
- W2406951567 hasConcept C92757383 @default.
- W2406951567 hasConcept C94375191 @default.
- W2406951567 hasConceptScore W2406951567C11413529 @default.
- W2406951567 hasConceptScore W2406951567C114614502 @default.
- W2406951567 hasConceptScore W2406951567C118615104 @default.
- W2406951567 hasConceptScore W2406951567C12426560 @default.
- W2406951567 hasConceptScore W2406951567C134306372 @default.
- W2406951567 hasConceptScore W2406951567C151376022 @default.
- W2406951567 hasConceptScore W2406951567C168773769 @default.
- W2406951567 hasConceptScore W2406951567C199360897 @default.
- W2406951567 hasConceptScore W2406951567C202444582 @default.
- W2406951567 hasConceptScore W2406951567C2524010 @default.
- W2406951567 hasConceptScore W2406951567C2777027219 @default.
- W2406951567 hasConceptScore W2406951567C33923547 @default.
- W2406951567 hasConceptScore W2406951567C41008148 @default.
- W2406951567 hasConceptScore W2406951567C48372109 @default.
- W2406951567 hasConceptScore W2406951567C6943359 @default.
- W2406951567 hasConceptScore W2406951567C92757383 @default.
- W2406951567 hasConceptScore W2406951567C94375191 @default.
- W2406951567 hasLocation W24069515671 @default.
- W2406951567 hasOpenAccess W2406951567 @default.
- W2406951567 hasPrimaryLocation W24069515671 @default.
- W2406951567 hasRelatedWork W1758781646 @default.
- W2406951567 hasRelatedWork W2107482418 @default.
- W2406951567 hasRelatedWork W2126690312 @default.
- W2406951567 hasRelatedWork W2136589970 @default.
- W2406951567 hasRelatedWork W2223137809 @default.
- W2406951567 hasRelatedWork W2369421357 @default.
- W2406951567 hasRelatedWork W2405684937 @default.
- W2406951567 hasRelatedWork W2487493690 @default.
- W2406951567 hasRelatedWork W2568071471 @default.
- W2406951567 hasRelatedWork W2733767732 @default.
- W2406951567 hasRelatedWork W2771703737 @default.
- W2406951567 hasRelatedWork W2891316961 @default.
- W2406951567 hasRelatedWork W2926912675 @default.
- W2406951567 hasRelatedWork W2950440990 @default.
- W2406951567 hasRelatedWork W2951505009 @default.
- W2406951567 hasRelatedWork W2953085912 @default.
- W2406951567 hasRelatedWork W2964040447 @default.
- W2406951567 hasRelatedWork W3004632262 @default.
- W2406951567 hasRelatedWork W3128288494 @default.
- W2406951567 hasRelatedWork W3146654058 @default.
- W2406951567 hasVolume "19" @default.
- W2406951567 isParatext "false" @default.
- W2406951567 isRetracted "false" @default.
- W2406951567 magId "2406951567" @default.
- W2406951567 workType "article" @default.