FRINK Linked Data Fragments server

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

• W2075449032 endingPage "865" @default.
• W2075449032 startingPage "835" @default.
• W2075449032 abstract "We establish the first polynomial time-space lower bounds for satisfiability on general models of computation. We show that for any constant c less than the golden ratio there exists a positive constant d such that no deterministic random-access Turing machine can solve satisfiability in time n c and space n d , where d approaches 1 when c does. On conondeterministic instead of deterministic machines, we prove the same for any constant c less than √2.Our lower bounds apply to nondeterministic linear time and almost all natural NP-complete problems known. In fact, they even apply to the class of languages that can be solved on a nondeterministic machine in linear time and space n 1/c .Our proofs follow the paradigm of indirect diagonalization. We also use that paradigm to prove time-space lower bounds for languages higher up in the polynomial-time hierarchy." @default.
• W2075449032 created "2016-06-24" @default.
• W2075449032 creator A5032171459 @default.
• W2075449032 creator A5075191567 @default.
• W2075449032 creator A5086089998 @default.
• W2075449032 creator A5091308465 @default.
• W2075449032 date "2005-11-01" @default.
• W2075449032 modified "2023-10-01" @default.
• W2075449032 title "Time-space lower bounds for satisfiability" @default.
• W2075449032 cites W1965844655 @default.
• W2075449032 cites W1975124543 @default.
• W2075449032 cites W1996834809 @default.
• W2075449032 cites W2004471951 @default.
• W2075449032 cites W2006558104 @default.
• W2075449032 cites W2015895898 @default.
• W2075449032 cites W2040654780 @default.
• W2075449032 cites W2045717693 @default.
• W2075449032 cites W2075363121 @default.
• W2075449032 cites W2085938002 @default.
• W2075449032 cites W2117427692 @default.
• W2075449032 cites W2144345645 @default.
• W2075449032 cites W2913527980 @default.
• W2075449032 doi "https://doi.org/10.1145/1101821.1101822" @default.
• W2075449032 hasPublicationYear "2005" @default.
• W2075449032 type Work @default.
• W2075449032 sameAs 2075449032 @default.
• W2075449032 citedByCount "68" @default.
• W2075449032 countsByYear W20754490322012 @default.
• W2075449032 countsByYear W20754490322013 @default.
• W2075449032 countsByYear W20754490322014 @default.
• W2075449032 countsByYear W20754490322015 @default.
• W2075449032 countsByYear W20754490322016 @default.
• W2075449032 countsByYear W20754490322017 @default.
• W2075449032 countsByYear W20754490322018 @default.
• W2075449032 countsByYear W20754490322019 @default.
• W2075449032 countsByYear W20754490322020 @default.
• W2075449032 countsByYear W20754490322021 @default.
• W2075449032 countsByYear W20754490322022 @default.
• W2075449032 crossrefType "journal-article" @default.
• W2075449032 hasAuthorship W2075449032A5032171459 @default.
• W2075449032 hasAuthorship W2075449032A5075191567 @default.
• W2075449032 hasAuthorship W2075449032A5086089998 @default.
• W2075449032 hasAuthorship W2075449032A5091308465 @default.
• W2075449032 hasBestOaLocation W20754490322 @default.
• W2075449032 hasConcept C108710211 @default.
• W2075449032 hasConcept C11413529 @default.
• W2075449032 hasConcept C114614502 @default.
• W2075449032 hasConcept C118615104 @default.
• W2075449032 hasConcept C131671149 @default.
• W2075449032 hasConcept C134306372 @default.
• W2075449032 hasConcept C15547884 @default.
• W2075449032 hasConcept C168773769 @default.
• W2075449032 hasConcept C176181172 @default.
• W2075449032 hasConcept C176370821 @default.
• W2075449032 hasConcept C179799912 @default.
• W2075449032 hasConcept C197685441 @default.
• W2075449032 hasConcept C199360897 @default.
• W2075449032 hasConcept C2524010 @default.
• W2075449032 hasConcept C2776013622 @default.
• W2075449032 hasConcept C2777027219 @default.
• W2075449032 hasConcept C29248071 @default.
• W2075449032 hasConcept C311688 @default.
• W2075449032 hasConcept C33923547 @default.
• W2075449032 hasConcept C39637292 @default.
• W2075449032 hasConcept C41008148 @default.
• W2075449032 hasConcept C45374587 @default.
• W2075449032 hasConcept C48415503 @default.
• W2075449032 hasConcept C77553402 @default.
• W2075449032 hasConcept C91331118 @default.
• W2075449032 hasConceptScore W2075449032C108710211 @default.
• W2075449032 hasConceptScore W2075449032C11413529 @default.
• W2075449032 hasConceptScore W2075449032C114614502 @default.
• W2075449032 hasConceptScore W2075449032C118615104 @default.
• W2075449032 hasConceptScore W2075449032C131671149 @default.
• W2075449032 hasConceptScore W2075449032C134306372 @default.
• W2075449032 hasConceptScore W2075449032C15547884 @default.
• W2075449032 hasConceptScore W2075449032C168773769 @default.
• W2075449032 hasConceptScore W2075449032C176181172 @default.
• W2075449032 hasConceptScore W2075449032C176370821 @default.
• W2075449032 hasConceptScore W2075449032C179799912 @default.
• W2075449032 hasConceptScore W2075449032C197685441 @default.
• W2075449032 hasConceptScore W2075449032C199360897 @default.
• W2075449032 hasConceptScore W2075449032C2524010 @default.
• W2075449032 hasConceptScore W2075449032C2776013622 @default.
• W2075449032 hasConceptScore W2075449032C2777027219 @default.
• W2075449032 hasConceptScore W2075449032C29248071 @default.
• W2075449032 hasConceptScore W2075449032C311688 @default.
• W2075449032 hasConceptScore W2075449032C33923547 @default.
• W2075449032 hasConceptScore W2075449032C39637292 @default.
• W2075449032 hasConceptScore W2075449032C41008148 @default.
• W2075449032 hasConceptScore W2075449032C45374587 @default.
• W2075449032 hasConceptScore W2075449032C48415503 @default.
• W2075449032 hasConceptScore W2075449032C77553402 @default.
• W2075449032 hasConceptScore W2075449032C91331118 @default.
• W2075449032 hasIssue "6" @default.
• W2075449032 hasLocation W20754490321 @default.
• W2075449032 hasLocation W20754490322 @default.
• W2075449032 hasOpenAccess W2075449032 @default.

• next