FRINK Linked Data Fragments server

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

• W2166026605 endingPage "88" @default.
• W2166026605 startingPage "67" @default.
• W2166026605 abstract "We call a pseudorandom generator $G_n:{0,1}^nto {0,1}^m$ hard for a propositional proof system P if P cannot efficiently prove the (properly encoded) statement $G_n(x_1,ldots,x_n)neq b$ for any string $bin{0,1}^m$. We consider a variety of combinatorial pseudorandom generators inspired by the Nisan--Wigderson generator on the one hand, and by the construction of Tseitin tautologies on the other. We prove that under certain circumstances these generators are hard for such proof systems as resolution, polynomial calculus, and polynomial calculus with resolution (PCR)." @default.
• W2166026605 created "2016-06-24" @default.
• W2166026605 creator A5008113826 @default.
• W2166026605 creator A5039043184 @default.
• W2166026605 creator A5058111762 @default.
• W2166026605 creator A5062653940 @default.
• W2166026605 date "2004-01-01" @default.
• W2166026605 modified "2023-10-13" @default.
• W2166026605 title "Pseudorandom Generators in Propositional Proof Complexity" @default.
• W2166026605 cites W1964394232 @default.
• W2166026605 cites W1990932978 @default.
• W2166026605 cites W1998918799 @default.
• W2166026605 cites W2022749269 @default.
• W2166026605 cites W2023915883 @default.
• W2166026605 cites W2026967932 @default.
• W2166026605 cites W2036656440 @default.
• W2166026605 cites W2044632231 @default.
• W2166026605 cites W2056382067 @default.
• W2166026605 cites W2060270693 @default.
• W2166026605 cites W2069767473 @default.
• W2166026605 cites W2093396771 @default.
• W2166026605 cites W2098022011 @default.
• W2166026605 cites W2098642112 @default.
• W2166026605 cites W2498145201 @default.
• W2166026605 cites W2912080987 @default.
• W2166026605 cites W2998808137 @default.
• W2166026605 doi "https://doi.org/10.1137/s0097539701389944" @default.
• W2166026605 hasPublicationYear "2004" @default.
• W2166026605 type Work @default.
• W2166026605 sameAs 2166026605 @default.
• W2166026605 citedByCount "90" @default.
• W2166026605 countsByYear W21660266052012 @default.
• W2166026605 countsByYear W21660266052013 @default.
• W2166026605 countsByYear W21660266052014 @default.
• W2166026605 countsByYear W21660266052015 @default.
• W2166026605 countsByYear W21660266052016 @default.
• W2166026605 countsByYear W21660266052017 @default.
• W2166026605 countsByYear W21660266052018 @default.
• W2166026605 countsByYear W21660266052019 @default.
• W2166026605 countsByYear W21660266052020 @default.
• W2166026605 countsByYear W21660266052021 @default.
• W2166026605 countsByYear W21660266052022 @default.
• W2166026605 crossrefType "journal-article" @default.
• W2166026605 hasAuthorship W2166026605A5008113826 @default.
• W2166026605 hasAuthorship W2166026605A5039043184 @default.
• W2166026605 hasAuthorship W2166026605A5058111762 @default.
• W2166026605 hasAuthorship W2166026605A5062653940 @default.
• W2166026605 hasConcept C105605280 @default.
• W2166026605 hasConcept C105795698 @default.
• W2166026605 hasConcept C108710211 @default.
• W2166026605 hasConcept C11413529 @default.
• W2166026605 hasConcept C114614502 @default.
• W2166026605 hasConcept C118615104 @default.
• W2166026605 hasConcept C121332964 @default.
• W2166026605 hasConcept C134306372 @default.
• W2166026605 hasConcept C136197465 @default.
• W2166026605 hasConcept C138268822 @default.
• W2166026605 hasConcept C140642157 @default.
• W2166026605 hasConcept C157486923 @default.
• W2166026605 hasConcept C163258240 @default.
• W2166026605 hasConcept C17744445 @default.
• W2166026605 hasConcept C199360897 @default.
• W2166026605 hasConcept C199539241 @default.
• W2166026605 hasConcept C2524010 @default.
• W2166026605 hasConcept C2777026412 @default.
• W2166026605 hasConcept C2780992000 @default.
• W2166026605 hasConcept C33923547 @default.
• W2166026605 hasConcept C37914503 @default.
• W2166026605 hasConcept C41008148 @default.
• W2166026605 hasConcept C62520636 @default.
• W2166026605 hasConcept C90119067 @default.
• W2166026605 hasConceptScore W2166026605C105605280 @default.
• W2166026605 hasConceptScore W2166026605C105795698 @default.
• W2166026605 hasConceptScore W2166026605C108710211 @default.
• W2166026605 hasConceptScore W2166026605C11413529 @default.
• W2166026605 hasConceptScore W2166026605C114614502 @default.
• W2166026605 hasConceptScore W2166026605C118615104 @default.
• W2166026605 hasConceptScore W2166026605C121332964 @default.
• W2166026605 hasConceptScore W2166026605C134306372 @default.
• W2166026605 hasConceptScore W2166026605C136197465 @default.
• W2166026605 hasConceptScore W2166026605C138268822 @default.
• W2166026605 hasConceptScore W2166026605C140642157 @default.
• W2166026605 hasConceptScore W2166026605C157486923 @default.
• W2166026605 hasConceptScore W2166026605C163258240 @default.
• W2166026605 hasConceptScore W2166026605C17744445 @default.
• W2166026605 hasConceptScore W2166026605C199360897 @default.
• W2166026605 hasConceptScore W2166026605C199539241 @default.
• W2166026605 hasConceptScore W2166026605C2524010 @default.
• W2166026605 hasConceptScore W2166026605C2777026412 @default.
• W2166026605 hasConceptScore W2166026605C2780992000 @default.
• W2166026605 hasConceptScore W2166026605C33923547 @default.
• W2166026605 hasConceptScore W2166026605C37914503 @default.
• W2166026605 hasConceptScore W2166026605C41008148 @default.
• W2166026605 hasConceptScore W2166026605C62520636 @default.
• W2166026605 hasConceptScore W2166026605C90119067 @default.
• W2166026605 hasIssue "1" @default.
• W2166026605 hasLocation W21660266051 @default.
• W2166026605 hasOpenAccess W2166026605 @default.

• next