Matches in SemOpenAlex for { <https://semopenalex.org/work/W1823551964> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1823551964 abstract "We prove that a random 3-SAT instance with clause-to-variable density less than 3.52 is satisfiable with high probability. The proof comes through an algorithm which selects (and sets) a variable depending on its degree and that of its complement." @default.
- W1823551964 created "2016-06-24" @default.
- W1823551964 creator A5083890565 @default.
- W1823551964 creator A5084358000 @default.
- W1823551964 date "2003-11-20" @default.
- W1823551964 modified "2023-09-27" @default.
- W1823551964 title "The Satisfiability Threshold of Random 3-SAT Is at Least 3.52" @default.
- W1823551964 cites W1534497489 @default.
- W1823551964 cites W1534832769 @default.
- W1823551964 cites W1635262722 @default.
- W1823551964 cites W1963913579 @default.
- W1823551964 cites W1978732816 @default.
- W1823551964 cites W1979720612 @default.
- W1823551964 cites W2006424894 @default.
- W1823551964 cites W2018251959 @default.
- W1823551964 cites W2023622935 @default.
- W1823551964 cites W2051580875 @default.
- W1823551964 cites W2131459042 @default.
- W1823551964 cites W2138778293 @default.
- W1823551964 cites W2011576950 @default.
- W1823551964 hasPublicationYear "2003" @default.
- W1823551964 type Work @default.
- W1823551964 sameAs 1823551964 @default.
- W1823551964 citedByCount "19" @default.
- W1823551964 countsByYear W18235519642012 @default.
- W1823551964 countsByYear W18235519642013 @default.
- W1823551964 countsByYear W18235519642016 @default.
- W1823551964 countsByYear W18235519642017 @default.
- W1823551964 countsByYear W18235519642019 @default.
- W1823551964 countsByYear W18235519642021 @default.
- W1823551964 crossrefType "posted-content" @default.
- W1823551964 hasAuthorship W1823551964A5083890565 @default.
- W1823551964 hasAuthorship W1823551964A5084358000 @default.
- W1823551964 hasConcept C104317684 @default.
- W1823551964 hasConcept C105795698 @default.
- W1823551964 hasConcept C112313634 @default.
- W1823551964 hasConcept C114614502 @default.
- W1823551964 hasConcept C118615104 @default.
- W1823551964 hasConcept C121332964 @default.
- W1823551964 hasConcept C122123141 @default.
- W1823551964 hasConcept C127716648 @default.
- W1823551964 hasConcept C134306372 @default.
- W1823551964 hasConcept C168773769 @default.
- W1823551964 hasConcept C182365436 @default.
- W1823551964 hasConcept C185592680 @default.
- W1823551964 hasConcept C188082640 @default.
- W1823551964 hasConcept C24890656 @default.
- W1823551964 hasConcept C2775997480 @default.
- W1823551964 hasConcept C33923547 @default.
- W1823551964 hasConcept C41008148 @default.
- W1823551964 hasConcept C55493867 @default.
- W1823551964 hasConcept C6943359 @default.
- W1823551964 hasConceptScore W1823551964C104317684 @default.
- W1823551964 hasConceptScore W1823551964C105795698 @default.
- W1823551964 hasConceptScore W1823551964C112313634 @default.
- W1823551964 hasConceptScore W1823551964C114614502 @default.
- W1823551964 hasConceptScore W1823551964C118615104 @default.
- W1823551964 hasConceptScore W1823551964C121332964 @default.
- W1823551964 hasConceptScore W1823551964C122123141 @default.
- W1823551964 hasConceptScore W1823551964C127716648 @default.
- W1823551964 hasConceptScore W1823551964C134306372 @default.
- W1823551964 hasConceptScore W1823551964C168773769 @default.
- W1823551964 hasConceptScore W1823551964C182365436 @default.
- W1823551964 hasConceptScore W1823551964C185592680 @default.
- W1823551964 hasConceptScore W1823551964C188082640 @default.
- W1823551964 hasConceptScore W1823551964C24890656 @default.
- W1823551964 hasConceptScore W1823551964C2775997480 @default.
- W1823551964 hasConceptScore W1823551964C33923547 @default.
- W1823551964 hasConceptScore W1823551964C41008148 @default.
- W1823551964 hasConceptScore W1823551964C55493867 @default.
- W1823551964 hasConceptScore W1823551964C6943359 @default.
- W1823551964 hasLocation W18235519641 @default.
- W1823551964 hasOpenAccess W1823551964 @default.
- W1823551964 hasPrimaryLocation W18235519641 @default.
- W1823551964 hasRelatedWork W1518885151 @default.
- W1823551964 hasRelatedWork W1559492868 @default.
- W1823551964 hasRelatedWork W1969966778 @default.
- W1823551964 hasRelatedWork W1978732816 @default.
- W1823551964 hasRelatedWork W1979720612 @default.
- W1823551964 hasRelatedWork W2000931246 @default.
- W1823551964 hasRelatedWork W2010193278 @default.
- W1823551964 hasRelatedWork W2018251959 @default.
- W1823551964 hasRelatedWork W2023622935 @default.
- W1823551964 hasRelatedWork W2051580875 @default.
- W1823551964 hasRelatedWork W2054387247 @default.
- W1823551964 hasRelatedWork W2088419249 @default.
- W1823551964 hasRelatedWork W2097532582 @default.
- W1823551964 hasRelatedWork W2100020751 @default.
- W1823551964 hasRelatedWork W2136558174 @default.
- W1823551964 hasRelatedWork W2138778293 @default.
- W1823551964 hasRelatedWork W2145098470 @default.
- W1823551964 hasRelatedWork W3140660692 @default.
- W1823551964 hasRelatedWork W4983232 @default.
- W1823551964 hasRelatedWork W67367170 @default.
- W1823551964 isParatext "false" @default.
- W1823551964 isRetracted "false" @default.
- W1823551964 magId "1823551964" @default.
- W1823551964 workType "article" @default.