FRINK Linked Data Fragments server

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

• W213453915 endingPage "270" @default.
• W213453915 startingPage "265" @default.
• W213453915 abstract "The study of random instances of NP complete and coNP complete problems has had much impact on our understanding of the nature of hard problems. In this work, we initiate an effort to extend this line of research to random instances of intractable parameterized problems.We propose random models for a representative intractable parameterized problem, the weighted d-CNF satisfiability, and its generalization to the constraint satisfaction problem. The exact threshold for the phase transition of the proposed models is determined. Lower bounds on the time complexity of variants of the DPLL algorithm for these parameterized problems are also established. In particularly, we show that random instances of the weighted 2-CNF satisfiability, already an intractable parameterized problem, are typically easy in both of the satisfiable and unsatisfiable regions by exploiting an interesting connection between the unsatisfiability of a weighted 2-CNF formula and the existence of a Hamiltonian-cycle-like global structure." @default.
• W213453915 created "2016-06-24" @default.
• W213453915 creator A5027777470 @default.
• W213453915 date "2008-07-13" @default.
• W213453915 modified "2023-09-23" @default.
• W213453915 title "Phase transitions and complexity of weighted satisfiability and other intractable parameterized problems" @default.
• W213453915 cites W1517036688 @default.
• W213453915 cites W1522076887 @default.
• W213453915 cites W1559927413 @default.
• W213453915 cites W1620410031 @default.
• W213453915 cites W1986272823 @default.
• W213453915 cites W1994520092 @default.
• W213453915 cites W2027605646 @default.
• W213453915 cites W203718333 @default.
• W213453915 cites W2044722214 @default.
• W213453915 cites W2071706116 @default.
• W213453915 cites W2074563411 @default.
• W213453915 cites W2099081893 @default.
• W213453915 cites W2107918022 @default.
• W213453915 cites W2109015525 @default.
• W213453915 cites W2125123691 @default.
• W213453915 cites W2143404729 @default.
• W213453915 cites W2319158417 @default.
• W213453915 cites W2905110430 @default.
• W213453915 cites W2913688336 @default.
• W213453915 hasPublicationYear "2008" @default.
• W213453915 type Work @default.
• W213453915 sameAs 213453915 @default.
• W213453915 citedByCount "2" @default.
• W213453915 crossrefType "proceedings-article" @default.
• W213453915 hasAuthorship W213453915A5027777470 @default.
• W213453915 hasConcept C111797529 @default.
• W213453915 hasConcept C11413529 @default.
• W213453915 hasConcept C114614502 @default.
• W213453915 hasConcept C118615104 @default.
• W213453915 hasConcept C12707504 @default.
• W213453915 hasConcept C134306372 @default.
• W213453915 hasConcept C134652429 @default.
• W213453915 hasConcept C143936061 @default.
• W213453915 hasConcept C152062344 @default.
• W213453915 hasConcept C154945302 @default.
• W213453915 hasConcept C156884757 @default.
• W213453915 hasConcept C165464430 @default.
• W213453915 hasConcept C168773769 @default.
• W213453915 hasConcept C177148314 @default.
• W213453915 hasConcept C179799912 @default.
• W213453915 hasConcept C187455244 @default.
• W213453915 hasConcept C199622910 @default.
• W213453915 hasConcept C200415742 @default.
• W213453915 hasConcept C33923547 @default.
• W213453915 hasConcept C41008148 @default.
• W213453915 hasConcept C44616089 @default.
• W213453915 hasConcept C49937458 @default.
• W213453915 hasConcept C6943359 @default.
• W213453915 hasConcept C76155785 @default.
• W213453915 hasConceptScore W213453915C111797529 @default.
• W213453915 hasConceptScore W213453915C11413529 @default.
• W213453915 hasConceptScore W213453915C114614502 @default.
• W213453915 hasConceptScore W213453915C118615104 @default.
• W213453915 hasConceptScore W213453915C12707504 @default.
• W213453915 hasConceptScore W213453915C134306372 @default.
• W213453915 hasConceptScore W213453915C134652429 @default.
• W213453915 hasConceptScore W213453915C143936061 @default.
• W213453915 hasConceptScore W213453915C152062344 @default.
• W213453915 hasConceptScore W213453915C154945302 @default.
• W213453915 hasConceptScore W213453915C156884757 @default.
• W213453915 hasConceptScore W213453915C165464430 @default.
• W213453915 hasConceptScore W213453915C168773769 @default.
• W213453915 hasConceptScore W213453915C177148314 @default.
• W213453915 hasConceptScore W213453915C179799912 @default.
• W213453915 hasConceptScore W213453915C187455244 @default.
• W213453915 hasConceptScore W213453915C199622910 @default.
• W213453915 hasConceptScore W213453915C200415742 @default.
• W213453915 hasConceptScore W213453915C33923547 @default.
• W213453915 hasConceptScore W213453915C41008148 @default.
• W213453915 hasConceptScore W213453915C44616089 @default.
• W213453915 hasConceptScore W213453915C49937458 @default.
• W213453915 hasConceptScore W213453915C6943359 @default.
• W213453915 hasConceptScore W213453915C76155785 @default.
• W213453915 hasOpenAccess W213453915 @default.
• W213453915 hasRelatedWork W134166032 @default.
• W213453915 hasRelatedWork W1500586414 @default.
• W213453915 hasRelatedWork W1559565827 @default.
• W213453915 hasRelatedWork W1619771112 @default.
• W213453915 hasRelatedWork W1998219858 @default.
• W213453915 hasRelatedWork W2255082502 @default.
• W213453915 hasRelatedWork W2659011796 @default.
• W213453915 hasRelatedWork W2730435414 @default.
• W213453915 hasRelatedWork W2949485690 @default.
• W213453915 hasRelatedWork W2949645029 @default.
• W213453915 hasRelatedWork W2950292965 @default.
• W213453915 hasRelatedWork W2951102062 @default.
• W213453915 hasRelatedWork W2951666353 @default.
• W213453915 hasRelatedWork W2963055415 @default.
• W213453915 hasRelatedWork W2963969022 @default.
• W213453915 hasRelatedWork W2997085175 @default.
• W213453915 hasRelatedWork W3087096958 @default.
• W213453915 hasRelatedWork W3116874297 @default.

• next