Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949386093> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2949386093 abstract "We consider the regular model of formula generation in conjunctive normal form (CNF) introduced by Boufkhad et. al. We derive an upper bound on the satisfiability threshold and NAE-satisfiability threshold for regular random $k$-SAT for any $k geq 3$. We show that these bounds matches with the corresponding bound for the uniform model of formula generation. We derive lower bound on the threshold by applying the second moment method to the number of satisfying assignments. For large $k$, we note that the obtained lower bounds on the threshold of a regular random formula converges to the lower bound obtained for the uniform model. Thus, we answer the question posed in cite{AcM06} regarding the performance of the second moment method for regular random formulas." @default.
- W2949386093 created "2019-06-27" @default.
- W2949386093 creator A5026962956 @default.
- W2949386093 creator A5041348422 @default.
- W2949386093 creator A5047019776 @default.
- W2949386093 creator A5080117292 @default.
- W2949386093 date "2010-02-05" @default.
- W2949386093 modified "2023-10-01" @default.
- W2949386093 title "Bounds on Threshold of Regular Random $k$-SAT" @default.
- W2949386093 cites W1536930200 @default.
- W2949386093 cites W1987851683 @default.
- W2949386093 cites W2010193278 @default.
- W2949386093 cites W2022695609 @default.
- W2949386093 cites W2026252457 @default.
- W2949386093 cites W2340541605 @default.
- W2949386093 cites W2949948555 @default.
- W2949386093 hasPublicationYear "2010" @default.
- W2949386093 type Work @default.
- W2949386093 sameAs 2949386093 @default.
- W2949386093 citedByCount "1" @default.
- W2949386093 countsByYear W29493860932015 @default.
- W2949386093 crossrefType "posted-content" @default.
- W2949386093 hasAuthorship W2949386093A5026962956 @default.
- W2949386093 hasAuthorship W2949386093A5041348422 @default.
- W2949386093 hasAuthorship W2949386093A5047019776 @default.
- W2949386093 hasAuthorship W2949386093A5080117292 @default.
- W2949386093 hasConcept C114614502 @default.
- W2949386093 hasConcept C118615104 @default.
- W2949386093 hasConcept C121332964 @default.
- W2949386093 hasConcept C134306372 @default.
- W2949386093 hasConcept C16221470 @default.
- W2949386093 hasConcept C168773769 @default.
- W2949386093 hasConcept C179254644 @default.
- W2949386093 hasConcept C33923547 @default.
- W2949386093 hasConcept C62520636 @default.
- W2949386093 hasConcept C77553402 @default.
- W2949386093 hasConceptScore W2949386093C114614502 @default.
- W2949386093 hasConceptScore W2949386093C118615104 @default.
- W2949386093 hasConceptScore W2949386093C121332964 @default.
- W2949386093 hasConceptScore W2949386093C134306372 @default.
- W2949386093 hasConceptScore W2949386093C16221470 @default.
- W2949386093 hasConceptScore W2949386093C168773769 @default.
- W2949386093 hasConceptScore W2949386093C179254644 @default.
- W2949386093 hasConceptScore W2949386093C33923547 @default.
- W2949386093 hasConceptScore W2949386093C62520636 @default.
- W2949386093 hasConceptScore W2949386093C77553402 @default.
- W2949386093 hasLocation W29493860931 @default.
- W2949386093 hasOpenAccess W2949386093 @default.
- W2949386093 hasPrimaryLocation W29493860931 @default.
- W2949386093 hasRelatedWork W1524828747 @default.
- W2949386093 hasRelatedWork W1547893391 @default.
- W2949386093 hasRelatedWork W1860503730 @default.
- W2949386093 hasRelatedWork W2022903554 @default.
- W2949386093 hasRelatedWork W2045076339 @default.
- W2949386093 hasRelatedWork W2105430299 @default.
- W2949386093 hasRelatedWork W2119912580 @default.
- W2949386093 hasRelatedWork W2132240307 @default.
- W2949386093 hasRelatedWork W2279459493 @default.
- W2949386093 hasRelatedWork W2647681439 @default.
- W2949386093 hasRelatedWork W2752697538 @default.
- W2949386093 hasRelatedWork W2765876483 @default.
- W2949386093 hasRelatedWork W2778748440 @default.
- W2949386093 hasRelatedWork W2913244533 @default.
- W2949386093 hasRelatedWork W2949171506 @default.
- W2949386093 hasRelatedWork W2952568439 @default.
- W2949386093 hasRelatedWork W2963652582 @default.
- W2949386093 hasRelatedWork W3111554155 @default.
- W2949386093 hasRelatedWork W3137545461 @default.
- W2949386093 hasRelatedWork W317642749 @default.
- W2949386093 isParatext "false" @default.
- W2949386093 isRetracted "false" @default.
- W2949386093 magId "2949386093" @default.
- W2949386093 workType "article" @default.