Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107779545> ?p ?o ?g. }
- W2107779545 endingPage "382" @default.
- W2107779545 startingPage "362" @default.
- W2107779545 abstract "ABSTRACT Let Z ( F ) be the number of solutions of a random k ‐satisfiability formula F with n variables and clause density α . Assume that the probability that F is unsatisfiable is for some . We show that (possibly excluding a countable set of “exceptional” α 's) the number of solutions concentrates, i.e., there exists a non‐random function such that, for any , we have with high probability. In particular, the assumption holds for all , which proves the above concentration claim in the whole satisfiability regime of random 2‐SAT. We also extend these results to a broad class of constraint satisfaction problems. © 2013 Wiley Periodicals, Inc. Random Struct. Alg., 45, 362–382, 2014" @default.
- W2107779545 created "2016-06-24" @default.
- W2107779545 creator A5011999109 @default.
- W2107779545 creator A5055776312 @default.
- W2107779545 date "2013-04-12" @default.
- W2107779545 modified "2023-10-06" @default.
- W2107779545 title "On the concentration of the number of solutions of random satisfiability formulas" @default.
- W2107779545 cites W1518885151 @default.
- W2107779545 cites W1559492868 @default.
- W2107779545 cites W1650993530 @default.
- W2107779545 cites W1968198053 @default.
- W2107779545 cites W1969966778 @default.
- W2107779545 cites W2018251959 @default.
- W2107779545 cites W2069603099 @default.
- W2107779545 cites W2113680569 @default.
- W2107779545 cites W2114351639 @default.
- W2107779545 cites W2115826669 @default.
- W2107779545 cites W2130042807 @default.
- W2107779545 cites W2134840900 @default.
- W2107779545 cites W2139585907 @default.
- W2107779545 cites W2145098470 @default.
- W2107779545 cites W2152182443 @default.
- W2107779545 cites W2168290833 @default.
- W2107779545 cites W2170558200 @default.
- W2107779545 cites W2177243619 @default.
- W2107779545 cites W251413274 @default.
- W2107779545 cites W2566505556 @default.
- W2107779545 cites W3099994871 @default.
- W2107779545 cites W3104898123 @default.
- W2107779545 doi "https://doi.org/10.1002/rsa.20501" @default.
- W2107779545 hasPublicationYear "2013" @default.
- W2107779545 type Work @default.
- W2107779545 sameAs 2107779545 @default.
- W2107779545 citedByCount "19" @default.
- W2107779545 countsByYear W21077795452012 @default.
- W2107779545 countsByYear W21077795452013 @default.
- W2107779545 countsByYear W21077795452015 @default.
- W2107779545 countsByYear W21077795452016 @default.
- W2107779545 countsByYear W21077795452017 @default.
- W2107779545 countsByYear W21077795452018 @default.
- W2107779545 countsByYear W21077795452019 @default.
- W2107779545 countsByYear W21077795452020 @default.
- W2107779545 countsByYear W21077795452021 @default.
- W2107779545 crossrefType "journal-article" @default.
- W2107779545 hasAuthorship W2107779545A5011999109 @default.
- W2107779545 hasAuthorship W2107779545A5055776312 @default.
- W2107779545 hasBestOaLocation W21077795452 @default.
- W2107779545 hasConcept C105795698 @default.
- W2107779545 hasConcept C110729354 @default.
- W2107779545 hasConcept C114614502 @default.
- W2107779545 hasConcept C118615104 @default.
- W2107779545 hasConcept C122123141 @default.
- W2107779545 hasConcept C13929819 @default.
- W2107779545 hasConcept C14036430 @default.
- W2107779545 hasConcept C154945302 @default.
- W2107779545 hasConcept C168773769 @default.
- W2107779545 hasConcept C199360897 @default.
- W2107779545 hasConcept C199622910 @default.
- W2107779545 hasConcept C2524010 @default.
- W2107779545 hasConcept C2776036281 @default.
- W2107779545 hasConcept C2776142590 @default.
- W2107779545 hasConcept C2777212361 @default.
- W2107779545 hasConcept C33923547 @default.
- W2107779545 hasConcept C41008148 @default.
- W2107779545 hasConcept C49937458 @default.
- W2107779545 hasConcept C78458016 @default.
- W2107779545 hasConcept C86803240 @default.
- W2107779545 hasConceptScore W2107779545C105795698 @default.
- W2107779545 hasConceptScore W2107779545C110729354 @default.
- W2107779545 hasConceptScore W2107779545C114614502 @default.
- W2107779545 hasConceptScore W2107779545C118615104 @default.
- W2107779545 hasConceptScore W2107779545C122123141 @default.
- W2107779545 hasConceptScore W2107779545C13929819 @default.
- W2107779545 hasConceptScore W2107779545C14036430 @default.
- W2107779545 hasConceptScore W2107779545C154945302 @default.
- W2107779545 hasConceptScore W2107779545C168773769 @default.
- W2107779545 hasConceptScore W2107779545C199360897 @default.
- W2107779545 hasConceptScore W2107779545C199622910 @default.
- W2107779545 hasConceptScore W2107779545C2524010 @default.
- W2107779545 hasConceptScore W2107779545C2776036281 @default.
- W2107779545 hasConceptScore W2107779545C2776142590 @default.
- W2107779545 hasConceptScore W2107779545C2777212361 @default.
- W2107779545 hasConceptScore W2107779545C33923547 @default.
- W2107779545 hasConceptScore W2107779545C41008148 @default.
- W2107779545 hasConceptScore W2107779545C49937458 @default.
- W2107779545 hasConceptScore W2107779545C78458016 @default.
- W2107779545 hasConceptScore W2107779545C86803240 @default.
- W2107779545 hasIssue "3" @default.
- W2107779545 hasLocation W21077795451 @default.
- W2107779545 hasLocation W21077795452 @default.
- W2107779545 hasOpenAccess W2107779545 @default.
- W2107779545 hasPrimaryLocation W21077795451 @default.
- W2107779545 hasRelatedWork W2030218034 @default.
- W2107779545 hasRelatedWork W2053591403 @default.
- W2107779545 hasRelatedWork W2095156144 @default.
- W2107779545 hasRelatedWork W2157049497 @default.
- W2107779545 hasRelatedWork W2183375322 @default.
- W2107779545 hasRelatedWork W2322595442 @default.