Matches in SemOpenAlex for { <https://semopenalex.org/work/W1901121558> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1901121558 endingPage "173" @default.
- W1901121558 startingPage "163" @default.
- W1901121558 abstract "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 . 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. © 2014 Wiley Periodicals, Inc. Random Struct. Alg., 47, 163–173, 2015" @default.
- W1901121558 created "2016-06-24" @default.
- W1901121558 creator A5025074585 @default.
- W1901121558 date "2014-03-19" @default.
- W1901121558 modified "2023-10-07" @default.
- W1901121558 title "Random <i>k</i>‐SAT and the power of two choices" @default.
- W1901121558 cites W1559492868 @default.
- W1901121558 cites W1969966778 @default.
- W1901121558 cites W1975999171 @default.
- W1901121558 cites W1979727552 @default.
- W1901121558 cites W1987851683 @default.
- W1901121558 cites W2006424894 @default.
- W1901121558 cites W2012690654 @default.
- W1901121558 cites W2023622935 @default.
- W1901121558 cites W2024436752 @default.
- W1901121558 cites W2031823362 @default.
- W1901121558 cites W2033468284 @default.
- W1901121558 cites W2075335084 @default.
- W1901121558 cites W2078137578 @default.
- W1901121558 cites W2088419249 @default.
- W1901121558 cites W2095403663 @default.
- W1901121558 cites W2096307009 @default.
- W1901121558 cites W2128782263 @default.
- W1901121558 cites W2129327979 @default.
- W1901121558 cites W2136558174 @default.
- W1901121558 cites W2164346692 @default.
- W1901121558 cites W2951119921 @default.
- W1901121558 cites W3083030149 @default.
- W1901121558 cites W4231943475 @default.
- W1901121558 cites W4241669766 @default.
- W1901121558 cites W2083392982 @default.
- W1901121558 doi "https://doi.org/10.1002/rsa.20534" @default.
- W1901121558 hasPublicationYear "2014" @default.
- W1901121558 type Work @default.
- W1901121558 sameAs 1901121558 @default.
- W1901121558 citedByCount "2" @default.
- W1901121558 countsByYear W19011215582016 @default.
- W1901121558 countsByYear W19011215582022 @default.
- W1901121558 crossrefType "journal-article" @default.
- W1901121558 hasAuthorship W1901121558A5025074585 @default.
- W1901121558 hasBestOaLocation W19011215581 @default.
- W1901121558 hasConcept C105795698 @default.
- W1901121558 hasConcept C114614502 @default.
- W1901121558 hasConcept C118615104 @default.
- W1901121558 hasConcept C132525143 @default.
- W1901121558 hasConcept C134306372 @default.
- W1901121558 hasConcept C168773769 @default.
- W1901121558 hasConcept C33923547 @default.
- W1901121558 hasConcept C34388435 @default.
- W1901121558 hasConcept C47458327 @default.
- W1901121558 hasConcept C49937458 @default.
- W1901121558 hasConceptScore W1901121558C105795698 @default.
- W1901121558 hasConceptScore W1901121558C114614502 @default.
- W1901121558 hasConceptScore W1901121558C118615104 @default.
- W1901121558 hasConceptScore W1901121558C132525143 @default.
- W1901121558 hasConceptScore W1901121558C134306372 @default.
- W1901121558 hasConceptScore W1901121558C168773769 @default.
- W1901121558 hasConceptScore W1901121558C33923547 @default.
- W1901121558 hasConceptScore W1901121558C34388435 @default.
- W1901121558 hasConceptScore W1901121558C47458327 @default.
- W1901121558 hasConceptScore W1901121558C49937458 @default.
- W1901121558 hasIssue "1" @default.
- W1901121558 hasLocation W19011215581 @default.
- W1901121558 hasLocation W19011215582 @default.
- W1901121558 hasOpenAccess W1901121558 @default.
- W1901121558 hasPrimaryLocation W19011215581 @default.
- W1901121558 hasRelatedWork W1560496689 @default.
- W1901121558 hasRelatedWork W1673581201 @default.
- W1901121558 hasRelatedWork W2494523064 @default.
- W1901121558 hasRelatedWork W2943623134 @default.
- W1901121558 hasRelatedWork W3013085049 @default.
- W1901121558 hasRelatedWork W3125672081 @default.
- W1901121558 hasRelatedWork W4297797135 @default.
- W1901121558 hasRelatedWork W4385301946 @default.
- W1901121558 hasRelatedWork W4386900933 @default.
- W1901121558 hasRelatedWork W2126126320 @default.
- W1901121558 hasVolume "47" @default.
- W1901121558 isParatext "false" @default.
- W1901121558 isRetracted "false" @default.
- W1901121558 magId "1901121558" @default.
- W1901121558 workType "article" @default.