Matches in SemOpenAlex for { <https://semopenalex.org/work/W2983696274> ?p ?o ?g. }
- W2983696274 abstract "We give the first efficient algorithm to approximately count the number of solutions in the random $k$-SAT model when the density of the formula scales exponentially with $k$. The best previous counting algorithm for the permissive version of the model was due to Montanari and Shah and was based on the correlation decay method, which works up to densities $(1+o_k(1))frac{2log k}{k}$, the Gibbs uniqueness threshold for the model. Instead, our algorithm harnesses a recent technique by Moitra to work for random formulas. The main challenge in our setting is to account for the presence of high-degree variables whose marginal distributions are hard to control and which cause significant correlations within the formula." @default.
- W2983696274 created "2019-11-22" @default.
- W2983696274 creator A5022476435 @default.
- W2983696274 creator A5022706581 @default.
- W2983696274 creator A5029293569 @default.
- W2983696274 creator A5089713528 @default.
- W2983696274 date "2019-11-16" @default.
- W2983696274 modified "2023-10-16" @default.
- W2983696274 title "Counting solutions to random CNF formulas" @default.
- W2983696274 cites W1518885151 @default.
- W2983696274 cites W1559492868 @default.
- W2983696274 cites W1595409123 @default.
- W2983696274 cites W1976579329 @default.
- W2983696274 cites W1977759320 @default.
- W2983696274 cites W2000931246 @default.
- W2983696274 cites W2010193278 @default.
- W2983696274 cites W2051336598 @default.
- W2983696274 cites W2057123378 @default.
- W2983696274 cites W2063428816 @default.
- W2983696274 cites W2070702809 @default.
- W2983696274 cites W2072870176 @default.
- W2983696274 cites W2105860081 @default.
- W2983696274 cites W2107779545 @default.
- W2983696274 cites W2109693504 @default.
- W2983696274 cites W2128452148 @default.
- W2983696274 cites W2156584294 @default.
- W2983696274 cites W2522859079 @default.
- W2983696274 cites W2566005205 @default.
- W2983696274 cites W2570121038 @default.
- W2983696274 cites W2573831607 @default.
- W2983696274 cites W2914272038 @default.
- W2983696274 cites W2921961097 @default.
- W2983696274 cites W2938658492 @default.
- W2983696274 cites W2962726369 @default.
- W2983696274 cites W2963892318 @default.
- W2983696274 cites W2964262313 @default.
- W2983696274 cites W2966749622 @default.
- W2983696274 cites W3004951116 @default.
- W2983696274 cites W3013409926 @default.
- W2983696274 cites W3035532193 @default.
- W2983696274 cites W3097865063 @default.
- W2983696274 cites W3098498116 @default.
- W2983696274 cites W3100455524 @default.
- W2983696274 cites W3102182509 @default.
- W2983696274 cites W3104444347 @default.
- W2983696274 doi "https://doi.org/10.48550/arxiv.1911.07020" @default.
- W2983696274 hasPublicationYear "2019" @default.
- W2983696274 type Work @default.
- W2983696274 sameAs 2983696274 @default.
- W2983696274 citedByCount "1" @default.
- W2983696274 countsByYear W29836962742021 @default.
- W2983696274 crossrefType "posted-content" @default.
- W2983696274 hasAuthorship W2983696274A5022476435 @default.
- W2983696274 hasAuthorship W2983696274A5022706581 @default.
- W2983696274 hasAuthorship W2983696274A5029293569 @default.
- W2983696274 hasAuthorship W2983696274A5089713528 @default.
- W2983696274 hasBestOaLocation W29836962741 @default.
- W2983696274 hasConcept C105795698 @default.
- W2983696274 hasConcept C114614502 @default.
- W2983696274 hasConcept C118615104 @default.
- W2983696274 hasConcept C121332964 @default.
- W2983696274 hasConcept C121864883 @default.
- W2983696274 hasConcept C122123141 @default.
- W2983696274 hasConcept C134306372 @default.
- W2983696274 hasConcept C165216359 @default.
- W2983696274 hasConcept C24890656 @default.
- W2983696274 hasConcept C2775997480 @default.
- W2983696274 hasConcept C2777021972 @default.
- W2983696274 hasConcept C33923547 @default.
- W2983696274 hasConceptScore W2983696274C105795698 @default.
- W2983696274 hasConceptScore W2983696274C114614502 @default.
- W2983696274 hasConceptScore W2983696274C118615104 @default.
- W2983696274 hasConceptScore W2983696274C121332964 @default.
- W2983696274 hasConceptScore W2983696274C121864883 @default.
- W2983696274 hasConceptScore W2983696274C122123141 @default.
- W2983696274 hasConceptScore W2983696274C134306372 @default.
- W2983696274 hasConceptScore W2983696274C165216359 @default.
- W2983696274 hasConceptScore W2983696274C24890656 @default.
- W2983696274 hasConceptScore W2983696274C2775997480 @default.
- W2983696274 hasConceptScore W2983696274C2777021972 @default.
- W2983696274 hasConceptScore W2983696274C33923547 @default.
- W2983696274 hasLocation W29836962741 @default.
- W2983696274 hasLocation W29836962742 @default.
- W2983696274 hasLocation W29836962743 @default.
- W2983696274 hasLocation W29836962744 @default.
- W2983696274 hasOpenAccess W2983696274 @default.
- W2983696274 hasPrimaryLocation W29836962741 @default.
- W2983696274 hasRelatedWork W1871156538 @default.
- W2983696274 hasRelatedWork W2044231811 @default.
- W2983696274 hasRelatedWork W2158211033 @default.
- W2983696274 hasRelatedWork W2299120352 @default.
- W2983696274 hasRelatedWork W2314825887 @default.
- W2983696274 hasRelatedWork W2997337812 @default.
- W2983696274 hasRelatedWork W4245694652 @default.
- W2983696274 hasRelatedWork W4289753919 @default.
- W2983696274 hasRelatedWork W4361204940 @default.
- W2983696274 hasRelatedWork W2268513077 @default.
- W2983696274 isParatext "false" @default.
- W2983696274 isRetracted "false" @default.
- W2983696274 magId "2983696274" @default.