FRINK Linked Data Fragments server

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

• W2265246327 endingPage "373" @default.
• W2265246327 startingPage "367" @default.
• W2265246327 abstract "The time complexity of problems and algorithms, i.e., the scaling of the time required for solving a problem instance as a function of instance size, is of key interest in theoretical computer science and practical applications. In this context, propositional satisfiability (SAT) is one of the most intensely studied problems, and it is generally believed that solving SAT requires exponential time in the worst case. For more than two decades, random 3-SAT at the solubility phase transition has played a pivotal role in the theoretical and empirical investigation of SAT solving, and to this day, it is arguably the most prominent model for difficult SAT instances. Here, we study the empirical scaling of the running time of several prominent, high-performance SAT solvers on random 3-SAT instances from the phase transition region. After introducing a refined model for the location of the phase transition point, we show that the median running time of three incomplete, SLS-based solvers - WalkSAT/SKC, BalancedZ and probSAT - scales polynomially with instance size. An analogous analysis of three complete, DPLL-based solvers - kcnfs, march_hi and march_br - clearly indicates exponential scaling of median running time. Moreover, exponential scaling is witnessed for these DPLL-based solvers when solving only satisfiable and only unsatisfiable instances, and the respective scaling models for each solver differ mostly by a constant factor." @default.
• W2265246327 created "2016-06-24" @default.
• W2265246327 creator A5007361203 @default.
• W2265246327 creator A5025342513 @default.
• W2265246327 date "2015-07-25" @default.
• W2265246327 modified "2023-09-24" @default.
• W2265246327 title "On the empirical time complexity of random 3-SAT at the phase transition" @default.
• W2265246327 cites W116937202 @default.
• W2265246327 cites W139325465 @default.
• W2265246327 cites W1533981606 @default.
• W2265246327 cites W1546338010 @default.
• W2265246327 cites W1555678362 @default.
• W2265246327 cites W1559492868 @default.
• W2265246327 cites W1620410031 @default.
• W2265246327 cites W1667614912 @default.
• W2265246327 cites W167199924 @default.
• W2265246327 cites W1700222499 @default.
• W2265246327 cites W1968198053 @default.
• W2265246327 cites W1970822112 @default.
• W2265246327 cites W1995945562 @default.
• W2265246327 cites W2000931246 @default.
• W2265246327 cites W2010193278 @default.
• W2265246327 cites W2022695609 @default.
• W2265246327 cites W2036265926 @default.
• W2265246327 cites W2097532582 @default.
• W2265246327 cites W2145098470 @default.
• W2265246327 cites W2155218845 @default.
• W2265246327 cites W2165372647 @default.
• W2265246327 cites W2335698967 @default.
• W2265246327 cites W2408617648 @default.
• W2265246327 cites W2605149087 @default.
• W2265246327 cites W2963572639 @default.
• W2265246327 cites W4983232 @default.
• W2265246327 cites W2610775458 @default.
• W2265246327 hasPublicationYear "2015" @default.
• W2265246327 type Work @default.
• W2265246327 sameAs 2265246327 @default.
• W2265246327 citedByCount "3" @default.
• W2265246327 countsByYear W22652463272016 @default.
• W2265246327 countsByYear W22652463272019 @default.
• W2265246327 crossrefType "proceedings-article" @default.
• W2265246327 hasAuthorship W2265246327A5007361203 @default.
• W2265246327 hasAuthorship W2265246327A5025342513 @default.
• W2265246327 hasConcept C11413529 @default.
• W2265246327 hasConcept C126255220 @default.
• W2265246327 hasConcept C12707504 @default.
• W2265246327 hasConcept C134306372 @default.
• W2265246327 hasConcept C134652429 @default.
• W2265246327 hasConcept C14036430 @default.
• W2265246327 hasConcept C143936061 @default.
• W2265246327 hasConcept C151376022 @default.
• W2265246327 hasConcept C151730666 @default.
• W2265246327 hasConcept C168773769 @default.
• W2265246327 hasConcept C199360897 @default.
• W2265246327 hasConcept C2524010 @default.
• W2265246327 hasConcept C2777027219 @default.
• W2265246327 hasConcept C2778770139 @default.
• W2265246327 hasConcept C2779343474 @default.
• W2265246327 hasConcept C311688 @default.
• W2265246327 hasConcept C33923547 @default.
• W2265246327 hasConcept C41008148 @default.
• W2265246327 hasConcept C6943359 @default.
• W2265246327 hasConcept C76155785 @default.
• W2265246327 hasConcept C78458016 @default.
• W2265246327 hasConcept C80444323 @default.
• W2265246327 hasConcept C86803240 @default.
• W2265246327 hasConcept C99844830 @default.
• W2265246327 hasConceptScore W2265246327C11413529 @default.
• W2265246327 hasConceptScore W2265246327C126255220 @default.
• W2265246327 hasConceptScore W2265246327C12707504 @default.
• W2265246327 hasConceptScore W2265246327C134306372 @default.
• W2265246327 hasConceptScore W2265246327C134652429 @default.
• W2265246327 hasConceptScore W2265246327C14036430 @default.
• W2265246327 hasConceptScore W2265246327C143936061 @default.
• W2265246327 hasConceptScore W2265246327C151376022 @default.
• W2265246327 hasConceptScore W2265246327C151730666 @default.
• W2265246327 hasConceptScore W2265246327C168773769 @default.
• W2265246327 hasConceptScore W2265246327C199360897 @default.
• W2265246327 hasConceptScore W2265246327C2524010 @default.
• W2265246327 hasConceptScore W2265246327C2777027219 @default.
• W2265246327 hasConceptScore W2265246327C2778770139 @default.
• W2265246327 hasConceptScore W2265246327C2779343474 @default.
• W2265246327 hasConceptScore W2265246327C311688 @default.
• W2265246327 hasConceptScore W2265246327C33923547 @default.
• W2265246327 hasConceptScore W2265246327C41008148 @default.
• W2265246327 hasConceptScore W2265246327C6943359 @default.
• W2265246327 hasConceptScore W2265246327C76155785 @default.
• W2265246327 hasConceptScore W2265246327C78458016 @default.
• W2265246327 hasConceptScore W2265246327C80444323 @default.
• W2265246327 hasConceptScore W2265246327C86803240 @default.
• W2265246327 hasConceptScore W2265246327C99844830 @default.
• W2265246327 hasLocation W22652463271 @default.
• W2265246327 hasOpenAccess W2265246327 @default.
• W2265246327 hasPrimaryLocation W22652463271 @default.
• W2265246327 hasRelatedWork W1511775544 @default.
• W2265246327 hasRelatedWork W1728966390 @default.
• W2265246327 hasRelatedWork W1987703212 @default.
• W2265246327 hasRelatedWork W2025799810 @default.

• next