Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952113391> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2952113391 abstract "We study an Achlioptas-process version of the random k-SAT process: a bounded number of k-clauses are drawn uniformly at random at each step, and exactly one added to the growing formula according to a particular rule. We prove the existence of a rule that shifts the satisfiability threshold. This extends a well-studied area of probabilistic combinatorics (Achlioptas processes) to random CSP's. In particular, while a rule to delay the 2-SAT threshold was known previously, this is the first proof of a rule to shift the threshold of k-SAT for k >= 3. We then propose a gap decision problem based upon this semi-random model. The aim of the problem is to investigate the hardness of the random k-SAT decision problem, as opposed to the problem of finding an assignment or certificate of unsatisfiability. Finally, we discuss connections to the study of Achlioptas random graph processes." @default.
- W2952113391 created "2019-06-27" @default.
- W2952113391 creator A5025074585 @default.
- W2952113391 date "2012-09-24" @default.
- W2952113391 modified "2023-09-25" @default.
- W2952113391 title "Random k-SAT and the Power of Two Choices" @default.
- W2952113391 cites W1534497489 @default.
- W2952113391 cites W1559492868 @default.
- W2952113391 cites W1963913579 @default.
- W2952113391 cites W1983610133 @default.
- W2952113391 cites W1987851683 @default.
- W2952113391 cites W2002387903 @default.
- W2952113391 cites W2012690654 @default.
- W2952113391 cites W2023622935 @default.
- W2952113391 cites W2031823362 @default.
- W2952113391 cites W2033468284 @default.
- W2952113391 cites W2078137578 @default.
- W2952113391 cites W2095403663 @default.
- W2952113391 cites W2164346692 @default.
- W2952113391 cites W3143219376 @default.
- W2952113391 cites W2011576950 @default.
- W2952113391 hasPublicationYear "2012" @default.
- W2952113391 type Work @default.
- W2952113391 sameAs 2952113391 @default.
- W2952113391 citedByCount "4" @default.
- W2952113391 countsByYear W29521133912012 @default.
- W2952113391 countsByYear W29521133912014 @default.
- W2952113391 countsByYear W29521133912017 @default.
- W2952113391 crossrefType "posted-content" @default.
- W2952113391 hasAuthorship W2952113391A5025074585 @default.
- W2952113391 hasConcept C105795698 @default.
- W2952113391 hasConcept C114614502 @default.
- W2952113391 hasConcept C118615104 @default.
- W2952113391 hasConcept C132525143 @default.
- W2952113391 hasConcept C134306372 @default.
- W2952113391 hasConcept C168773769 @default.
- W2952113391 hasConcept C33923547 @default.
- W2952113391 hasConcept C34388435 @default.
- W2952113391 hasConcept C47458327 @default.
- W2952113391 hasConcept C49937458 @default.
- W2952113391 hasConceptScore W2952113391C105795698 @default.
- W2952113391 hasConceptScore W2952113391C114614502 @default.
- W2952113391 hasConceptScore W2952113391C118615104 @default.
- W2952113391 hasConceptScore W2952113391C132525143 @default.
- W2952113391 hasConceptScore W2952113391C134306372 @default.
- W2952113391 hasConceptScore W2952113391C168773769 @default.
- W2952113391 hasConceptScore W2952113391C33923547 @default.
- W2952113391 hasConceptScore W2952113391C34388435 @default.
- W2952113391 hasConceptScore W2952113391C47458327 @default.
- W2952113391 hasConceptScore W2952113391C49937458 @default.
- W2952113391 hasLocation W29521133911 @default.
- W2952113391 hasOpenAccess W2952113391 @default.
- W2952113391 hasPrimaryLocation W29521133911 @default.
- W2952113391 hasRelatedWork W1514707130 @default.
- W2952113391 hasRelatedWork W1532097860 @default.
- W2952113391 hasRelatedWork W1823551964 @default.
- W2952113391 hasRelatedWork W1832421600 @default.
- W2952113391 hasRelatedWork W1971378428 @default.
- W2952113391 hasRelatedWork W1997804344 @default.
- W2952113391 hasRelatedWork W2026105979 @default.
- W2952113391 hasRelatedWork W2040017116 @default.
- W2952113391 hasRelatedWork W2049991966 @default.
- W2952113391 hasRelatedWork W2108446739 @default.
- W2952113391 hasRelatedWork W242035403 @default.
- W2952113391 hasRelatedWork W2781437110 @default.
- W2952113391 hasRelatedWork W2938488389 @default.
- W2952113391 hasRelatedWork W2949814359 @default.
- W2952113391 hasRelatedWork W2952177688 @default.
- W2952113391 hasRelatedWork W2953032822 @default.
- W2952113391 hasRelatedWork W2963530586 @default.
- W2952113391 hasRelatedWork W3124429033 @default.
- W2952113391 hasRelatedWork W3159197791 @default.
- W2952113391 hasRelatedWork W2011576950 @default.
- W2952113391 isParatext "false" @default.
- W2952113391 isRetracted "false" @default.
- W2952113391 magId "2952113391" @default.
- W2952113391 workType "article" @default.