FRINK Linked Data Fragments server

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

• W2154944453 endingPage "626" @default.
• W2154944453 startingPage "620" @default.
• W2154944453 abstract "The study of phase transitions in algorithmic problems has revealed that usually the critical value of the constrainedness parameter at which the phase transition occurs coincides with the value at which the average cost of natural solvers for the problem peaks. In particular, this confluence of phase transition and peak cost has been observed for the Boolean satisfiability problem and its variants, where the solver used is a Davis-Putnam-type procedure or a suitable modification of it. Here, we investigate the relationship between phase transitions and peak cost for a family of PP-complete satisfiability problems, where the solver used is a symmetric Threshold Counting Davis-Putnam (TCDP) procedure, i.e., a modification of the Counting Davis-Putnam procedure for computing the number of satisfying assignments of a Boolean formula. Our main experimental finding is that, for each of the PP-complete problems considered, the asymptotic probability of solvability undergoes a phase transition at some critical ratio of clauses to variables, but this critical ratio does not always coincide with the ratio at which the average search cost of the symmetric TCDP procedure peaks. Actually, for some of these problems the peak cost occurs at the boundary or even outside of the interval in which the probability of solvability drops from 0.9 to 0.1, and we analyze why this happens." @default.
• W2154944453 created "2016-06-24" @default.
• W2154944453 creator A5041825861 @default.
• W2154944453 creator A5057975755 @default.
• W2154944453 creator A5059404432 @default.
• W2154944453 date "2002-07-28" @default.
• W2154944453 modified "2023-09-23" @default.
• W2154944453 title "Comparing phase transitions and peak cost in PP-complete satisfiability problems" @default.
• W2154944453 cites W1495732641 @default.
• W2154944453 cites W1515153299 @default.
• W2154944453 cites W1548578559 @default.
• W2154944453 cites W1553952730 @default.
• W2154944453 cites W1559492868 @default.
• W2154944453 cites W1565010992 @default.
• W2154944453 cites W1686746446 @default.
• W2154944453 cites W1865464712 @default.
• W2154944453 cites W1964821516 @default.
• W2154944453 cites W1968198053 @default.
• W2154944453 cites W198135823 @default.
• W2154944453 cites W2002627038 @default.
• W2154944453 cites W2006912660 @default.
• W2154944453 cites W2020831804 @default.
• W2154944453 cites W2059442002 @default.
• W2154944453 cites W2096041053 @default.
• W2154944453 cites W2132996183 @default.
• W2154944453 cites W2137154807 @default.
• W2154944453 cites W2150661189 @default.
• W2154944453 cites W2912057363 @default.
• W2154944453 cites W344547944 @default.
• W2154944453 cites W4983232 @default.
• W2154944453 doi "https://doi.org/10.5555/777092.777188" @default.
• W2154944453 hasPublicationYear "2002" @default.
• W2154944453 type Work @default.
• W2154944453 sameAs 2154944453 @default.
• W2154944453 citedByCount "1" @default.
• W2154944453 crossrefType "proceedings-article" @default.
• W2154944453 hasAuthorship W2154944453A5041825861 @default.
• W2154944453 hasAuthorship W2154944453A5057975755 @default.
• W2154944453 hasAuthorship W2154944453A5059404432 @default.
• W2154944453 hasConcept C105795698 @default.
• W2154944453 hasConcept C111797529 @default.
• W2154944453 hasConcept C114614502 @default.
• W2154944453 hasConcept C118615104 @default.
• W2154944453 hasConcept C121332964 @default.
• W2154944453 hasConcept C126255220 @default.
• W2154944453 hasConcept C134306372 @default.
• W2154944453 hasConcept C149288129 @default.
• W2154944453 hasConcept C168773769 @default.
• W2154944453 hasConcept C187455244 @default.
• W2154944453 hasConcept C2776291640 @default.
• W2154944453 hasConcept C2778067643 @default.
• W2154944453 hasConcept C2778770139 @default.
• W2154944453 hasConcept C33923547 @default.
• W2154944453 hasConcept C62354387 @default.
• W2154944453 hasConcept C62520636 @default.
• W2154944453 hasConcept C6943359 @default.
• W2154944453 hasConceptScore W2154944453C105795698 @default.
• W2154944453 hasConceptScore W2154944453C111797529 @default.
• W2154944453 hasConceptScore W2154944453C114614502 @default.
• W2154944453 hasConceptScore W2154944453C118615104 @default.
• W2154944453 hasConceptScore W2154944453C121332964 @default.
• W2154944453 hasConceptScore W2154944453C126255220 @default.
• W2154944453 hasConceptScore W2154944453C134306372 @default.
• W2154944453 hasConceptScore W2154944453C149288129 @default.
• W2154944453 hasConceptScore W2154944453C168773769 @default.
• W2154944453 hasConceptScore W2154944453C187455244 @default.
• W2154944453 hasConceptScore W2154944453C2776291640 @default.
• W2154944453 hasConceptScore W2154944453C2778067643 @default.
• W2154944453 hasConceptScore W2154944453C2778770139 @default.
• W2154944453 hasConceptScore W2154944453C33923547 @default.
• W2154944453 hasConceptScore W2154944453C62354387 @default.
• W2154944453 hasConceptScore W2154944453C62520636 @default.
• W2154944453 hasConceptScore W2154944453C6943359 @default.
• W2154944453 hasLocation W21549444531 @default.
• W2154944453 hasOpenAccess W2154944453 @default.
• W2154944453 hasPrimaryLocation W21549444531 @default.
• W2154944453 hasRelatedWork W1548578559 @default.
• W2154944453 hasRelatedWork W155415014 @default.
• W2154944453 hasRelatedWork W1602028754 @default.
• W2154944453 hasRelatedWork W1989094632 @default.
• W2154944453 hasRelatedWork W1993234741 @default.
• W2154944453 hasRelatedWork W2004223683 @default.
• W2154944453 hasRelatedWork W2030218034 @default.
• W2154944453 hasRelatedWork W2088486516 @default.
• W2154944453 hasRelatedWork W2095920168 @default.
• W2154944453 hasRelatedWork W2118182253 @default.
• W2154944453 hasRelatedWork W2136558174 @default.
• W2154944453 hasRelatedWork W21597398 @default.
• W2154944453 hasRelatedWork W2170389579 @default.
• W2154944453 hasRelatedWork W2605149087 @default.
• W2154944453 hasRelatedWork W2765794371 @default.
• W2154944453 hasRelatedWork W2896289303 @default.
• W2154944453 hasRelatedWork W2952655140 @default.
• W2154944453 hasRelatedWork W3107847122 @default.
• W2154944453 hasRelatedWork W3201757289 @default.
• W2154944453 hasRelatedWork W2118236225 @default.
• W2154944453 isParatext "false" @default.
• W2154944453 isRetracted "false" @default.

• next