Matches in SemOpenAlex for { <https://semopenalex.org/work/W2089546742> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2089546742 endingPage "102" @default.
- W2089546742 startingPage "86" @default.
- W2089546742 abstract "We show that polynomial time truth-table reducibility via Boolean circuits to SAT is the same as logspace truth-table reducibility via Boolean formulas to SAT and the same as logspace Turing reducibility to SAT. In addition, we prove that a constant number of rounds of parallel queries to SAT is equivalent to one round of parallel queries. We give an oracle relative to which Δ 2 p is not equal to the class of predicates polynomial time truth-table reducible to SAT." @default.
- W2089546742 created "2016-06-24" @default.
- W2089546742 creator A5064780466 @default.
- W2089546742 creator A5067079243 @default.
- W2089546742 date "1991-03-01" @default.
- W2089546742 modified "2023-10-16" @default.
- W2089546742 title "On truth-table reducibility to SAT" @default.
- W2089546742 cites W1752076080 @default.
- W2089546742 cites W1986203294 @default.
- W2089546742 cites W1995502606 @default.
- W2089546742 cites W1997449252 @default.
- W2089546742 cites W2010937503 @default.
- W2089546742 cites W2015413218 @default.
- W2089546742 cites W2088044688 @default.
- W2089546742 cites W2088956149 @default.
- W2089546742 cites W2090039116 @default.
- W2089546742 cites W57269202 @default.
- W2089546742 doi "https://doi.org/10.1016/0890-5401(91)90075-d" @default.
- W2089546742 hasPublicationYear "1991" @default.
- W2089546742 type Work @default.
- W2089546742 sameAs 2089546742 @default.
- W2089546742 citedByCount "100" @default.
- W2089546742 countsByYear W20895467422012 @default.
- W2089546742 countsByYear W20895467422013 @default.
- W2089546742 countsByYear W20895467422014 @default.
- W2089546742 countsByYear W20895467422015 @default.
- W2089546742 countsByYear W20895467422016 @default.
- W2089546742 countsByYear W20895467422017 @default.
- W2089546742 countsByYear W20895467422018 @default.
- W2089546742 countsByYear W20895467422019 @default.
- W2089546742 countsByYear W20895467422020 @default.
- W2089546742 countsByYear W20895467422021 @default.
- W2089546742 countsByYear W20895467422022 @default.
- W2089546742 countsByYear W20895467422023 @default.
- W2089546742 crossrefType "journal-article" @default.
- W2089546742 hasAuthorship W2089546742A5064780466 @default.
- W2089546742 hasAuthorship W2089546742A5067079243 @default.
- W2089546742 hasConcept C11413529 @default.
- W2089546742 hasConcept C114614502 @default.
- W2089546742 hasConcept C118615104 @default.
- W2089546742 hasConcept C124101348 @default.
- W2089546742 hasConcept C141796577 @default.
- W2089546742 hasConcept C154945302 @default.
- W2089546742 hasConcept C187455244 @default.
- W2089546742 hasConcept C199360897 @default.
- W2089546742 hasConcept C2777212361 @default.
- W2089546742 hasConcept C311688 @default.
- W2089546742 hasConcept C33923547 @default.
- W2089546742 hasConcept C39637292 @default.
- W2089546742 hasConcept C41008148 @default.
- W2089546742 hasConcept C45235069 @default.
- W2089546742 hasConcept C55166926 @default.
- W2089546742 hasConcept C56949724 @default.
- W2089546742 hasConceptScore W2089546742C11413529 @default.
- W2089546742 hasConceptScore W2089546742C114614502 @default.
- W2089546742 hasConceptScore W2089546742C118615104 @default.
- W2089546742 hasConceptScore W2089546742C124101348 @default.
- W2089546742 hasConceptScore W2089546742C141796577 @default.
- W2089546742 hasConceptScore W2089546742C154945302 @default.
- W2089546742 hasConceptScore W2089546742C187455244 @default.
- W2089546742 hasConceptScore W2089546742C199360897 @default.
- W2089546742 hasConceptScore W2089546742C2777212361 @default.
- W2089546742 hasConceptScore W2089546742C311688 @default.
- W2089546742 hasConceptScore W2089546742C33923547 @default.
- W2089546742 hasConceptScore W2089546742C39637292 @default.
- W2089546742 hasConceptScore W2089546742C41008148 @default.
- W2089546742 hasConceptScore W2089546742C45235069 @default.
- W2089546742 hasConceptScore W2089546742C55166926 @default.
- W2089546742 hasConceptScore W2089546742C56949724 @default.
- W2089546742 hasIssue "1" @default.
- W2089546742 hasLocation W20895467421 @default.
- W2089546742 hasOpenAccess W2089546742 @default.
- W2089546742 hasPrimaryLocation W20895467421 @default.
- W2089546742 hasRelatedWork W1504200807 @default.
- W2089546742 hasRelatedWork W1991299446 @default.
- W2089546742 hasRelatedWork W2069652878 @default.
- W2089546742 hasRelatedWork W2075406496 @default.
- W2089546742 hasRelatedWork W2089546742 @default.
- W2089546742 hasRelatedWork W2140778396 @default.
- W2089546742 hasRelatedWork W2173621488 @default.
- W2089546742 hasRelatedWork W332417919 @default.
- W2089546742 hasRelatedWork W4226226661 @default.
- W2089546742 hasRelatedWork W4292381393 @default.
- W2089546742 hasVolume "91" @default.
- W2089546742 isParatext "false" @default.
- W2089546742 isRetracted "false" @default.
- W2089546742 magId "2089546742" @default.
- W2089546742 workType "article" @default.