Matches in SemOpenAlex for { <https://semopenalex.org/work/W1854868231> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1854868231 abstract "The problem of determining the unsatisfiability threshold for random 3-SAT formulas consists in determining the clause to variable ratio that marks the (experimentally observed) abrupt change from almost surely satisfiable formulas to almost surely unsatisfiable. Up to now, there have been rigorously established increasingly better lower and upper bounds to the actual threshold value. An upper bound of 4.506 was announced by Dubois et al. in 1999 but, to the best of our knowledge, no complete proof has been made available from the authors yet. We consider the problem of bounding the threshold value from above using methods that, we believe, are of interest on their own right. More specifically, we explain how the method of local maximum satisfying truth assignments can be combined withresu lts for coupon collector's probabilities in order to achieve an upper bound for the unsatisfiability threshold less than 4.571. Thus, we improve over the best, with an available complete proof, previous upper bound, which was 4.596. In order to obtain this value, we also establish a bound on the q-binomial coefficients (a generalization of the binomial coefficients) which may be of independent interest." @default.
- W1854868231 created "2016-06-24" @default.
- W1854868231 creator A5013505086 @default.
- W1854868231 creator A5013929795 @default.
- W1854868231 creator A5024610751 @default.
- W1854868231 creator A5025854118 @default.
- W1854868231 creator A5030699433 @default.
- W1854868231 date "2001-01-01" @default.
- W1854868231 modified "2023-09-27" @default.
- W1854868231 title "Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold" @default.
- W1854868231 cites W1559492868 @default.
- W1854868231 cites W2000931246 @default.
- W1854868231 cites W2077154649 @default.
- W1854868231 cites W2130956934 @default.
- W1854868231 cites W2131459042 @default.
- W1854868231 cites W4212799367 @default.
- W1854868231 cites W4231916799 @default.
- W1854868231 cites W4301168112 @default.
- W1854868231 doi "https://doi.org/10.1007/3-540-45446-2_21" @default.
- W1854868231 hasPublicationYear "2001" @default.
- W1854868231 type Work @default.
- W1854868231 sameAs 1854868231 @default.
- W1854868231 citedByCount "9" @default.
- W1854868231 countsByYear W18548682312020 @default.
- W1854868231 crossrefType "book-chapter" @default.
- W1854868231 hasAuthorship W1854868231A5013505086 @default.
- W1854868231 hasAuthorship W1854868231A5013929795 @default.
- W1854868231 hasAuthorship W1854868231A5024610751 @default.
- W1854868231 hasAuthorship W1854868231A5025854118 @default.
- W1854868231 hasAuthorship W1854868231A5030699433 @default.
- W1854868231 hasConcept C10138342 @default.
- W1854868231 hasConcept C105795698 @default.
- W1854868231 hasConcept C114614502 @default.
- W1854868231 hasConcept C118615104 @default.
- W1854868231 hasConcept C134306372 @default.
- W1854868231 hasConcept C154945302 @default.
- W1854868231 hasConcept C162324750 @default.
- W1854868231 hasConcept C177148314 @default.
- W1854868231 hasConcept C180099792 @default.
- W1854868231 hasConcept C182306322 @default.
- W1854868231 hasConcept C2776291640 @default.
- W1854868231 hasConcept C2781315470 @default.
- W1854868231 hasConcept C33923547 @default.
- W1854868231 hasConcept C34718186 @default.
- W1854868231 hasConcept C41008148 @default.
- W1854868231 hasConcept C41054675 @default.
- W1854868231 hasConcept C63584917 @default.
- W1854868231 hasConcept C77553402 @default.
- W1854868231 hasConceptScore W1854868231C10138342 @default.
- W1854868231 hasConceptScore W1854868231C105795698 @default.
- W1854868231 hasConceptScore W1854868231C114614502 @default.
- W1854868231 hasConceptScore W1854868231C118615104 @default.
- W1854868231 hasConceptScore W1854868231C134306372 @default.
- W1854868231 hasConceptScore W1854868231C154945302 @default.
- W1854868231 hasConceptScore W1854868231C162324750 @default.
- W1854868231 hasConceptScore W1854868231C177148314 @default.
- W1854868231 hasConceptScore W1854868231C180099792 @default.
- W1854868231 hasConceptScore W1854868231C182306322 @default.
- W1854868231 hasConceptScore W1854868231C2776291640 @default.
- W1854868231 hasConceptScore W1854868231C2781315470 @default.
- W1854868231 hasConceptScore W1854868231C33923547 @default.
- W1854868231 hasConceptScore W1854868231C34718186 @default.
- W1854868231 hasConceptScore W1854868231C41008148 @default.
- W1854868231 hasConceptScore W1854868231C41054675 @default.
- W1854868231 hasConceptScore W1854868231C63584917 @default.
- W1854868231 hasConceptScore W1854868231C77553402 @default.
- W1854868231 hasLocation W18548682311 @default.
- W1854868231 hasOpenAccess W1854868231 @default.
- W1854868231 hasPrimaryLocation W18548682311 @default.
- W1854868231 hasRelatedWork W1502930846 @default.
- W1854868231 hasRelatedWork W1534832769 @default.
- W1854868231 hasRelatedWork W1537186801 @default.
- W1854868231 hasRelatedWork W1894899179 @default.
- W1854868231 hasRelatedWork W1937525114 @default.
- W1854868231 hasRelatedWork W1974805473 @default.
- W1854868231 hasRelatedWork W1983992721 @default.
- W1854868231 hasRelatedWork W2006474266 @default.
- W1854868231 hasRelatedWork W2013821228 @default.
- W1854868231 hasRelatedWork W2036139215 @default.
- W1854868231 hasRelatedWork W2093226551 @default.
- W1854868231 hasRelatedWork W2125291897 @default.
- W1854868231 hasRelatedWork W2133747498 @default.
- W1854868231 hasRelatedWork W2163605617 @default.
- W1854868231 hasRelatedWork W2722567202 @default.
- W1854868231 hasRelatedWork W2952745732 @default.
- W1854868231 hasRelatedWork W2964146933 @default.
- W1854868231 hasRelatedWork W3030539087 @default.
- W1854868231 hasRelatedWork W3208572847 @default.
- W1854868231 hasRelatedWork W2140798178 @default.
- W1854868231 isParatext "false" @default.
- W1854868231 isRetracted "false" @default.
- W1854868231 magId "1854868231" @default.
- W1854868231 workType "book-chapter" @default.