FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000931246> ?p ?o ?g. }

• W2000931246 endingPage "269" @default.
• W2000931246 startingPage "253" @default.
• W2000931246 abstract "Let ϕ be a random Boolean formula that is an instance of 3-SAT. We consider the problem of computing the least real number κ such that if the ratio of the number of clauses over the number of variables of ϕ strictly exceeds κ, then ϕ is almost certainly unsatisfiable. By a well-known and more or less straightforward argument, it can be shown that κ≤5.191. This upper bound was improved by Kamath et al. to 4.758 by first providing new improved bounds for the occupancy problem. There is strong experimental evidence that the value of κ is around 4.2. In this work, we define, in terms of the random formula ϕ, a decreasing sequence of random variables such that, if the expected value of any one of them converges to zero, then ϕ is almost certainly unsatisfiable. By letting the expected value of the first term of the sequence converge to zero, we obtain, by simple and elementary computations, an upper bound for κ equal to 4.667. From the expected value of the second term of the sequence, we get the value 4.601+. In general, by letting the expected value of further terms of this sequence converge to zero, one can, if the calculations are performed, obtain even better approximations to κ. This technique generalizes in a straightforward manner to k-SAT for k>3. © 1998 John Wiley & Sons, Inc. Random Struct. Alg., 12, 253–269, 1998" @default.
• W2000931246 created "2016-06-24" @default.
• W2000931246 creator A5003125546 @default.
• W2000931246 creator A5024610751 @default.
• W2000931246 creator A5025854118 @default.
• W2000931246 creator A5058262792 @default.
• W2000931246 date "1998-05-01" @default.
• W2000931246 modified "2023-10-18" @default.
• W2000931246 title "Approximating the unsatisfiability threshold of random formulas" @default.
• W2000931246 cites W1968198053 @default.
• W2000931246 cites W1971079746 @default.
• W2000931246 cites W1985250014 @default.
• W2000931246 cites W1993449345 @default.
• W2000931246 cites W2019433297 @default.
• W2000931246 cites W2022695609 @default.
• W2000931246 cites W2051580875 @default.
• W2000931246 cites W2126420408 @default.
• W2000931246 cites W2138778293 @default.
• W2000931246 cites W2158982567 @default.
• W2000931246 cites W2575871956 @default.
• W2000931246 cites W2801179766 @default.
• W2000931246 cites W2905110430 @default.
• W2000931246 cites W81989373 @default.
• W2000931246 doi "https://doi.org/10.1002/(sici)1098-2418(199805)12:3<253::aid-rsa3>3.0.co;2-u" @default.
• W2000931246 hasPublicationYear "1998" @default.
• W2000931246 type Work @default.
• W2000931246 sameAs 2000931246 @default.
• W2000931246 citedByCount "144" @default.
• W2000931246 countsByYear W20009312462012 @default.
• W2000931246 countsByYear W20009312462013 @default.
• W2000931246 countsByYear W20009312462015 @default.
• W2000931246 countsByYear W20009312462016 @default.
• W2000931246 countsByYear W20009312462017 @default.
• W2000931246 countsByYear W20009312462018 @default.
• W2000931246 countsByYear W20009312462019 @default.
• W2000931246 countsByYear W20009312462021 @default.
• W2000931246 countsByYear W20009312462022 @default.
• W2000931246 crossrefType "journal-article" @default.
• W2000931246 hasAuthorship W2000931246A5003125546 @default.
• W2000931246 hasAuthorship W2000931246A5024610751 @default.
• W2000931246 hasAuthorship W2000931246A5025854118 @default.
• W2000931246 hasAuthorship W2000931246A5058262792 @default.
• W2000931246 hasConcept C105795698 @default.
• W2000931246 hasConcept C111472728 @default.
• W2000931246 hasConcept C11413529 @default.
• W2000931246 hasConcept C114614502 @default.
• W2000931246 hasConcept C118615104 @default.
• W2000931246 hasConcept C121332964 @default.
• W2000931246 hasConcept C122123141 @default.
• W2000931246 hasConcept C134306372 @default.
• W2000931246 hasConcept C138885662 @default.
• W2000931246 hasConcept C141042865 @default.
• W2000931246 hasConcept C168773769 @default.
• W2000931246 hasConcept C2776291640 @default.
• W2000931246 hasConcept C2778112365 @default.
• W2000931246 hasConcept C2780586882 @default.
• W2000931246 hasConcept C2780813799 @default.
• W2000931246 hasConcept C33923547 @default.
• W2000931246 hasConcept C41895202 @default.
• W2000931246 hasConcept C45374587 @default.
• W2000931246 hasConcept C54355233 @default.
• W2000931246 hasConcept C61797465 @default.
• W2000931246 hasConcept C62520636 @default.
• W2000931246 hasConcept C77553402 @default.
• W2000931246 hasConcept C86803240 @default.
• W2000931246 hasConceptScore W2000931246C105795698 @default.
• W2000931246 hasConceptScore W2000931246C111472728 @default.
• W2000931246 hasConceptScore W2000931246C11413529 @default.
• W2000931246 hasConceptScore W2000931246C114614502 @default.
• W2000931246 hasConceptScore W2000931246C118615104 @default.
• W2000931246 hasConceptScore W2000931246C121332964 @default.
• W2000931246 hasConceptScore W2000931246C122123141 @default.
• W2000931246 hasConceptScore W2000931246C134306372 @default.
• W2000931246 hasConceptScore W2000931246C138885662 @default.
• W2000931246 hasConceptScore W2000931246C141042865 @default.
• W2000931246 hasConceptScore W2000931246C168773769 @default.
• W2000931246 hasConceptScore W2000931246C2776291640 @default.
• W2000931246 hasConceptScore W2000931246C2778112365 @default.
• W2000931246 hasConceptScore W2000931246C2780586882 @default.
• W2000931246 hasConceptScore W2000931246C2780813799 @default.
• W2000931246 hasConceptScore W2000931246C33923547 @default.
• W2000931246 hasConceptScore W2000931246C41895202 @default.
• W2000931246 hasConceptScore W2000931246C45374587 @default.
• W2000931246 hasConceptScore W2000931246C54355233 @default.
• W2000931246 hasConceptScore W2000931246C61797465 @default.
• W2000931246 hasConceptScore W2000931246C62520636 @default.
• W2000931246 hasConceptScore W2000931246C77553402 @default.
• W2000931246 hasConceptScore W2000931246C86803240 @default.
• W2000931246 hasIssue "3" @default.
• W2000931246 hasLocation W20009312461 @default.
• W2000931246 hasOpenAccess W2000931246 @default.
• W2000931246 hasPrimaryLocation W20009312461 @default.
• W2000931246 hasRelatedWork W170825502 @default.
• W2000931246 hasRelatedWork W2047057931 @default.
• W2000931246 hasRelatedWork W2354392213 @default.
• W2000931246 hasRelatedWork W2526245987 @default.
• W2000931246 hasRelatedWork W2545761980 @default.
• W2000931246 hasRelatedWork W3043435145 @default.

• next