Matches in SemOpenAlex for { <https://semopenalex.org/work/W2263532482> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2263532482 startingPage "31" @default.
- W2263532482 abstract "This paper characterizes alternation trading-based proofs that the Boolean satisfiability problem is not in the time- and space-bounded class DTISP$${(n^c,n^epsilon)}$$(nc,n∈), for various values c < 2 and $${epsilon < 1}$$∈<1. We characterize exactly what can be proved in the $${epsilon = 0}$$∈=0 case with currently known methods and prove the conjecture of Williams that $${c=2cos(pi/7)}$$c=2cos(?/7) is optimal for this. For time---space trade-offs and lower bounds on satisfiability, we give a theoretical and computational analysis of the alternation trading proofs for $${0 < epsilon < 1}$$0<∈<1." @default.
- W2263532482 created "2016-06-24" @default.
- W2263532482 creator A5046851838 @default.
- W2263532482 creator A5067079243 @default.
- W2263532482 date "2011-01-01" @default.
- W2263532482 modified "2023-09-23" @default.
- W2263532482 title "Limits on Alternation-Trading Proofs for Time-Space Lower Bounds." @default.
- W2263532482 hasPublicationYear "2011" @default.
- W2263532482 type Work @default.
- W2263532482 sameAs 2263532482 @default.
- W2263532482 citedByCount "0" @default.
- W2263532482 crossrefType "journal-article" @default.
- W2263532482 hasAuthorship W2263532482A5046851838 @default.
- W2263532482 hasAuthorship W2263532482A5067079243 @default.
- W2263532482 hasConcept C108710211 @default.
- W2263532482 hasConcept C111919701 @default.
- W2263532482 hasConcept C11413529 @default.
- W2263532482 hasConcept C114614502 @default.
- W2263532482 hasConcept C118615104 @default.
- W2263532482 hasConcept C134306372 @default.
- W2263532482 hasConcept C138885662 @default.
- W2263532482 hasConcept C154945302 @default.
- W2263532482 hasConcept C168773769 @default.
- W2263532482 hasConcept C179799912 @default.
- W2263532482 hasConcept C197685441 @default.
- W2263532482 hasConcept C2524010 @default.
- W2263532482 hasConcept C26826806 @default.
- W2263532482 hasConcept C2777212361 @default.
- W2263532482 hasConcept C2778572836 @default.
- W2263532482 hasConcept C2780990831 @default.
- W2263532482 hasConcept C311688 @default.
- W2263532482 hasConcept C33923547 @default.
- W2263532482 hasConcept C34388435 @default.
- W2263532482 hasConcept C39637292 @default.
- W2263532482 hasConcept C41008148 @default.
- W2263532482 hasConcept C41895202 @default.
- W2263532482 hasConcept C6943359 @default.
- W2263532482 hasConceptScore W2263532482C108710211 @default.
- W2263532482 hasConceptScore W2263532482C111919701 @default.
- W2263532482 hasConceptScore W2263532482C11413529 @default.
- W2263532482 hasConceptScore W2263532482C114614502 @default.
- W2263532482 hasConceptScore W2263532482C118615104 @default.
- W2263532482 hasConceptScore W2263532482C134306372 @default.
- W2263532482 hasConceptScore W2263532482C138885662 @default.
- W2263532482 hasConceptScore W2263532482C154945302 @default.
- W2263532482 hasConceptScore W2263532482C168773769 @default.
- W2263532482 hasConceptScore W2263532482C179799912 @default.
- W2263532482 hasConceptScore W2263532482C197685441 @default.
- W2263532482 hasConceptScore W2263532482C2524010 @default.
- W2263532482 hasConceptScore W2263532482C26826806 @default.
- W2263532482 hasConceptScore W2263532482C2777212361 @default.
- W2263532482 hasConceptScore W2263532482C2778572836 @default.
- W2263532482 hasConceptScore W2263532482C2780990831 @default.
- W2263532482 hasConceptScore W2263532482C311688 @default.
- W2263532482 hasConceptScore W2263532482C33923547 @default.
- W2263532482 hasConceptScore W2263532482C34388435 @default.
- W2263532482 hasConceptScore W2263532482C39637292 @default.
- W2263532482 hasConceptScore W2263532482C41008148 @default.
- W2263532482 hasConceptScore W2263532482C41895202 @default.
- W2263532482 hasConceptScore W2263532482C6943359 @default.
- W2263532482 hasLocation W22635324821 @default.
- W2263532482 hasOpenAccess W2263532482 @default.
- W2263532482 hasPrimaryLocation W22635324821 @default.
- W2263532482 hasRelatedWork W145900249 @default.
- W2263532482 hasRelatedWork W1485439933 @default.
- W2263532482 hasRelatedWork W1502835965 @default.
- W2263532482 hasRelatedWork W1973046087 @default.
- W2263532482 hasRelatedWork W2083348414 @default.
- W2263532482 hasRelatedWork W2093469244 @default.
- W2263532482 hasRelatedWork W2767976260 @default.
- W2263532482 hasRelatedWork W2768698559 @default.
- W2263532482 hasRelatedWork W281456606 @default.
- W2263532482 hasRelatedWork W2947949186 @default.
- W2263532482 hasRelatedWork W2949195484 @default.
- W2263532482 hasRelatedWork W2949214562 @default.
- W2263532482 hasRelatedWork W2950008794 @default.
- W2263532482 hasRelatedWork W2952690599 @default.
- W2263532482 hasRelatedWork W2953323745 @default.
- W2263532482 hasRelatedWork W2965705192 @default.
- W2263532482 hasRelatedWork W3013031282 @default.
- W2263532482 hasRelatedWork W3023809816 @default.
- W2263532482 hasRelatedWork W3127217102 @default.
- W2263532482 hasRelatedWork W3128613656 @default.
- W2263532482 hasVolume "18" @default.
- W2263532482 isParatext "false" @default.
- W2263532482 isRetracted "false" @default.
- W2263532482 magId "2263532482" @default.
- W2263532482 workType "article" @default.