Matches in SemOpenAlex for { <https://semopenalex.org/work/W3037338839> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W3037338839 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.
- W3037338839 created "2020-07-02" @default.
- W3037338839 creator A5022476435 @default.
- W3037338839 creator A5022706581 @default.
- W3037338839 creator A5029293569 @default.
- W3037338839 creator A5089713528 @default.
- W3037338839 date "2019-11-16" @default.
- W3037338839 modified "2023-10-16" @default.
- W3037338839 title "Counting solutions to random CNF formulas" @default.
- W3037338839 hasPublicationYear "2019" @default.
- W3037338839 type Work @default.
- W3037338839 sameAs 3037338839 @default.
- W3037338839 citedByCount "4" @default.
- W3037338839 countsByYear W30373388392020 @default.
- W3037338839 countsByYear W30373388392021 @default.
- W3037338839 crossrefType "posted-content" @default.
- W3037338839 hasAuthorship W3037338839A5022476435 @default.
- W3037338839 hasAuthorship W3037338839A5022706581 @default.
- W3037338839 hasAuthorship W3037338839A5029293569 @default.
- W3037338839 hasAuthorship W3037338839A5089713528 @default.
- W3037338839 hasBestOaLocation W30373388391 @default.
- W3037338839 hasConcept C105795698 @default.
- W3037338839 hasConcept C114614502 @default.
- W3037338839 hasConcept C118615104 @default.
- W3037338839 hasConcept C121332964 @default.
- W3037338839 hasConcept C121864883 @default.
- W3037338839 hasConcept C122123141 @default.
- W3037338839 hasConcept C134306372 @default.
- W3037338839 hasConcept C24890656 @default.
- W3037338839 hasConcept C2775997480 @default.
- W3037338839 hasConcept C2777021972 @default.
- W3037338839 hasConcept C28826006 @default.
- W3037338839 hasConcept C33923547 @default.
- W3037338839 hasConceptScore W3037338839C105795698 @default.
- W3037338839 hasConceptScore W3037338839C114614502 @default.
- W3037338839 hasConceptScore W3037338839C118615104 @default.
- W3037338839 hasConceptScore W3037338839C121332964 @default.
- W3037338839 hasConceptScore W3037338839C121864883 @default.
- W3037338839 hasConceptScore W3037338839C122123141 @default.
- W3037338839 hasConceptScore W3037338839C134306372 @default.
- W3037338839 hasConceptScore W3037338839C24890656 @default.
- W3037338839 hasConceptScore W3037338839C2775997480 @default.
- W3037338839 hasConceptScore W3037338839C2777021972 @default.
- W3037338839 hasConceptScore W3037338839C28826006 @default.
- W3037338839 hasConceptScore W3037338839C33923547 @default.
- W3037338839 hasLocation W30373388391 @default.
- W3037338839 hasLocation W30373388392 @default.
- W3037338839 hasLocation W30373388393 @default.
- W3037338839 hasOpenAccess W3037338839 @default.
- W3037338839 hasPrimaryLocation W30373388391 @default.
- W3037338839 hasRelatedWork W17277841 @default.
- W3037338839 hasRelatedWork W17758310 @default.
- W3037338839 hasRelatedWork W2320053 @default.
- W3037338839 hasRelatedWork W314045 @default.
- W3037338839 hasRelatedWork W31696729 @default.
- W3037338839 hasRelatedWork W34290013 @default.
- W3037338839 hasRelatedWork W40006772 @default.
- W3037338839 hasRelatedWork W41352805 @default.
- W3037338839 hasRelatedWork W45374770 @default.
- W3037338839 hasRelatedWork W9380987 @default.
- W3037338839 isParatext "false" @default.
- W3037338839 isRetracted "false" @default.
- W3037338839 magId "3037338839" @default.
- W3037338839 workType "article" @default.