Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552464732> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1552464732 abstract "Consider a random $k$-conjunctive normal form $F_{k}(n, rn)$ with $n$ variables and $rn$ clauses. We prove that if the probability that the formula $F_{k}(n, rn)$ is satisfiable tends to 0 as $nrightarrowinfty$, then $rgeq2.83$, 8.09, 18.91, 40.81, and 84.87, for $k=3$, 4, 5, 6, and 7, respectively." @default.
- W1552464732 created "2016-06-24" @default.
- W1552464732 creator A5027835055 @default.
- W1552464732 creator A5032588791 @default.
- W1552464732 date "2016-08-23" @default.
- W1552464732 modified "2023-09-26" @default.
- W1552464732 title "A novel weighting scheme for random k-SAT" @default.
- W1552464732 cites W1559492868 @default.
- W1552464732 cites W1589423893 @default.
- W1552464732 cites W1964147598 @default.
- W1552464732 cites W1969966778 @default.
- W1552464732 cites W2025593265 @default.
- W1552464732 cites W2088419249 @default.
- W1552464732 cites W2132240307 @default.
- W1552464732 cites W2145098470 @default.
- W1552464732 cites W2602510746 @default.
- W1552464732 doi "https://doi.org/10.1007/s11432-016-5526-8" @default.
- W1552464732 hasPublicationYear "2016" @default.
- W1552464732 type Work @default.
- W1552464732 sameAs 1552464732 @default.
- W1552464732 citedByCount "4" @default.
- W1552464732 countsByYear W15524647322017 @default.
- W1552464732 countsByYear W15524647322018 @default.
- W1552464732 countsByYear W15524647322019 @default.
- W1552464732 crossrefType "journal-article" @default.
- W1552464732 hasAuthorship W1552464732A5027835055 @default.
- W1552464732 hasAuthorship W1552464732A5032588791 @default.
- W1552464732 hasBestOaLocation W15524647322 @default.
- W1552464732 hasConcept C105795698 @default.
- W1552464732 hasConcept C114614502 @default.
- W1552464732 hasConcept C118615104 @default.
- W1552464732 hasConcept C121332964 @default.
- W1552464732 hasConcept C122123141 @default.
- W1552464732 hasConcept C134306372 @default.
- W1552464732 hasConcept C183115368 @default.
- W1552464732 hasConcept C24890656 @default.
- W1552464732 hasConcept C33923547 @default.
- W1552464732 hasConcept C77618280 @default.
- W1552464732 hasConceptScore W1552464732C105795698 @default.
- W1552464732 hasConceptScore W1552464732C114614502 @default.
- W1552464732 hasConceptScore W1552464732C118615104 @default.
- W1552464732 hasConceptScore W1552464732C121332964 @default.
- W1552464732 hasConceptScore W1552464732C122123141 @default.
- W1552464732 hasConceptScore W1552464732C134306372 @default.
- W1552464732 hasConceptScore W1552464732C183115368 @default.
- W1552464732 hasConceptScore W1552464732C24890656 @default.
- W1552464732 hasConceptScore W1552464732C33923547 @default.
- W1552464732 hasConceptScore W1552464732C77618280 @default.
- W1552464732 hasLocation W15524647321 @default.
- W1552464732 hasLocation W15524647322 @default.
- W1552464732 hasLocation W15524647323 @default.
- W1552464732 hasOpenAccess W1552464732 @default.
- W1552464732 hasPrimaryLocation W15524647321 @default.
- W1552464732 hasRelatedWork W1911532324 @default.
- W1552464732 hasRelatedWork W1969815718 @default.
- W1552464732 hasRelatedWork W1972401324 @default.
- W1552464732 hasRelatedWork W1976537103 @default.
- W1552464732 hasRelatedWork W1989957966 @default.
- W1552464732 hasRelatedWork W1992650621 @default.
- W1552464732 hasRelatedWork W2012411663 @default.
- W1552464732 hasRelatedWork W2142228262 @default.
- W1552464732 hasRelatedWork W2155382668 @default.
- W1552464732 hasRelatedWork W2260613758 @default.
- W1552464732 hasRelatedWork W2362534978 @default.
- W1552464732 hasRelatedWork W2547958265 @default.
- W1552464732 hasRelatedWork W2952539829 @default.
- W1552464732 hasRelatedWork W2963794660 @default.
- W1552464732 hasRelatedWork W3118720339 @default.
- W1552464732 hasRelatedWork W3137387293 @default.
- W1552464732 hasRelatedWork W3163451030 @default.
- W1552464732 hasRelatedWork W3176217551 @default.
- W1552464732 hasRelatedWork W3197753951 @default.
- W1552464732 hasRelatedWork W2139457050 @default.
- W1552464732 isParatext "false" @default.
- W1552464732 isRetracted "false" @default.
- W1552464732 magId "1552464732" @default.
- W1552464732 workType "article" @default.