Matches in SemOpenAlex for { <https://semopenalex.org/work/W1491273511> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1491273511 abstract "The QSAT problem is the quantified version of the SAT problem. We show the existence of a threshold effect for the phase transition associated with the satisfiability of random quantified extended 2-CNF formulas. We consider boolean CNF formulas of the form $forall X exists Y varphi(X,Y)$, where $X$ has $m$ variables, $Y$ has $n$ variables and each clause in $varphi$ has one literal from $X$ and two from $Y$. For such formulas, we show that the threshold phenomenon is controlled by the ratio between the number of clauses and the number $n$ of existential variables. Then we give the exact location of the associated critical ratio $c^{*}$. Indeed, we prove that $c^{*}$ is a decreasing function of $ alpha$, where $alpha$ is the limiting value of $m / log (n)$ when $n$ tends to infinity." @default.
- W1491273511 created "2016-06-24" @default.
- W1491273511 creator A5042845729 @default.
- W1491273511 creator A5053691016 @default.
- W1491273511 creator A5065693180 @default.
- W1491273511 creator A5090333344 @default.
- W1491273511 date "2009-07-06" @default.
- W1491273511 modified "2023-10-01" @default.
- W1491273511 title "The threshold for random (1,2)-QSAT" @default.
- W1491273511 cites W1492937766 @default.
- W1491273511 cites W2006424894 @default.
- W1491273511 cites W2078137578 @default.
- W1491273511 cites W2097565928 @default.
- W1491273511 cites W2138778293 @default.
- W1491273511 cites W2150661189 @default.
- W1491273511 cites W3144881883 @default.
- W1491273511 hasPublicationYear "2009" @default.
- W1491273511 type Work @default.
- W1491273511 sameAs 1491273511 @default.
- W1491273511 citedByCount "0" @default.
- W1491273511 crossrefType "posted-content" @default.
- W1491273511 hasAuthorship W1491273511A5042845729 @default.
- W1491273511 hasAuthorship W1491273511A5053691016 @default.
- W1491273511 hasAuthorship W1491273511A5065693180 @default.
- W1491273511 hasAuthorship W1491273511A5090333344 @default.
- W1491273511 hasConcept C105795698 @default.
- W1491273511 hasConcept C11413529 @default.
- W1491273511 hasConcept C114614502 @default.
- W1491273511 hasConcept C118615104 @default.
- W1491273511 hasConcept C122123141 @default.
- W1491273511 hasConcept C127413603 @default.
- W1491273511 hasConcept C134306372 @default.
- W1491273511 hasConcept C14036430 @default.
- W1491273511 hasConcept C168773769 @default.
- W1491273511 hasConcept C188198153 @default.
- W1491273511 hasConcept C2776291640 @default.
- W1491273511 hasConcept C2780882242 @default.
- W1491273511 hasConcept C33923547 @default.
- W1491273511 hasConcept C7321624 @default.
- W1491273511 hasConcept C78458016 @default.
- W1491273511 hasConcept C78519656 @default.
- W1491273511 hasConcept C86803240 @default.
- W1491273511 hasConceptScore W1491273511C105795698 @default.
- W1491273511 hasConceptScore W1491273511C11413529 @default.
- W1491273511 hasConceptScore W1491273511C114614502 @default.
- W1491273511 hasConceptScore W1491273511C118615104 @default.
- W1491273511 hasConceptScore W1491273511C122123141 @default.
- W1491273511 hasConceptScore W1491273511C127413603 @default.
- W1491273511 hasConceptScore W1491273511C134306372 @default.
- W1491273511 hasConceptScore W1491273511C14036430 @default.
- W1491273511 hasConceptScore W1491273511C168773769 @default.
- W1491273511 hasConceptScore W1491273511C188198153 @default.
- W1491273511 hasConceptScore W1491273511C2776291640 @default.
- W1491273511 hasConceptScore W1491273511C2780882242 @default.
- W1491273511 hasConceptScore W1491273511C33923547 @default.
- W1491273511 hasConceptScore W1491273511C7321624 @default.
- W1491273511 hasConceptScore W1491273511C78458016 @default.
- W1491273511 hasConceptScore W1491273511C78519656 @default.
- W1491273511 hasConceptScore W1491273511C86803240 @default.
- W1491273511 hasLocation W14912735111 @default.
- W1491273511 hasOpenAccess W1491273511 @default.
- W1491273511 hasPrimaryLocation W14912735111 @default.
- W1491273511 hasRelatedWork W1798337851 @default.
- W1491273511 hasRelatedWork W1883887292 @default.
- W1491273511 hasRelatedWork W2258363612 @default.
- W1491273511 hasRelatedWork W2594917320 @default.
- W1491273511 hasRelatedWork W2888885403 @default.
- W1491273511 hasRelatedWork W2895641460 @default.
- W1491273511 hasRelatedWork W2937819376 @default.
- W1491273511 hasRelatedWork W2950299193 @default.
- W1491273511 hasRelatedWork W2952133313 @default.
- W1491273511 hasRelatedWork W2963488736 @default.
- W1491273511 hasRelatedWork W2973719433 @default.
- W1491273511 hasRelatedWork W3041151068 @default.
- W1491273511 hasRelatedWork W3058516402 @default.
- W1491273511 hasRelatedWork W3083750962 @default.
- W1491273511 hasRelatedWork W3094151347 @default.
- W1491273511 hasRelatedWork W3098011928 @default.
- W1491273511 hasRelatedWork W3111617893 @default.
- W1491273511 hasRelatedWork W3117839115 @default.
- W1491273511 hasRelatedWork W3183682236 @default.
- W1491273511 hasRelatedWork W98320937 @default.
- W1491273511 isParatext "false" @default.
- W1491273511 isRetracted "false" @default.
- W1491273511 magId "1491273511" @default.
- W1491273511 workType "article" @default.