Matches in SemOpenAlex for { <https://semopenalex.org/work/W2932574801> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2932574801 endingPage "134" @default.
- W2932574801 startingPage "117" @default.
- W2932574801 abstract "The hardness of formulas at the solubility phase transition of random propositional satisfiability (SAT) has been intensely studied for decades both empirically and theoretically. Solvers based on stochastic local search (SLS) appear to scale very well at the critical threshold, while complete backtracking solvers exhibit exponential scaling. On industrial SAT instances, this phenomenon is inverted: backtracking solvers can tackle large industrial problems, where SLS-based solvers appear to stall. Industrial instances exhibit sharply different structure than uniform random instances. Among many other properties, they are often heterogeneous in the sense that some variables appear in many while others appear in only few clauses. We conjecture that the heterogeneity of SAT formulas alone already contributes to the trade-off in performance between SLS solvers and complete backtracking solvers. We empirically determine how the run time of SLS vs. backtracking solvers depends on the heterogeneity of the input, which is controlled by drawing variables according to a scale-free distribution. Our experiments reveal that the efficiency of complete solvers at the phase transition is strongly related to the heterogeneity of the degree distribution. We report results that suggest the depth of satisfying assignments in complete search trees is influenced by the level of heterogeneity as measured by a power-law exponent. We also find that incomplete SLS solvers, which scale well on uniform instances, are not affected by heterogeneity. The main contribution of this paper utilizes the scale-free random 3-SAT model to isolate heterogeneity as an important factor in the scaling discrepancy between complete and SLS solvers at the uniform phase transition found in previous works." @default.
- W2932574801 created "2019-04-11" @default.
- W2932574801 creator A5004695687 @default.
- W2932574801 creator A5058590949 @default.
- W2932574801 creator A5077389210 @default.
- W2932574801 date "2019-01-01" @default.
- W2932574801 modified "2023-09-26" @default.
- W2932574801 title "On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition" @default.
- W2932574801 cites W1518705996 @default.
- W2932574801 cites W153009120 @default.
- W2932574801 cites W1548827561 @default.
- W2932574801 cites W1555678362 @default.
- W2932574801 cites W1559492868 @default.
- W2932574801 cites W1570661221 @default.
- W2932574801 cites W1589158953 @default.
- W2932574801 cites W1969966778 @default.
- W2932574801 cites W2027377866 @default.
- W2932574801 cites W2036265926 @default.
- W2932574801 cites W2070702809 @default.
- W2932574801 cites W2107914461 @default.
- W2932574801 cites W2148779774 @default.
- W2932574801 cites W2155218845 @default.
- W2932574801 cites W2604154532 @default.
- W2932574801 cites W2741122540 @default.
- W2932574801 cites W2963572639 @default.
- W2932574801 cites W3104641269 @default.
- W2932574801 cites W73352345 @default.
- W2932574801 doi "https://doi.org/10.1007/978-3-030-17462-0_7" @default.
- W2932574801 hasPublicationYear "2019" @default.
- W2932574801 type Work @default.
- W2932574801 sameAs 2932574801 @default.
- W2932574801 citedByCount "3" @default.
- W2932574801 countsByYear W29325748012021 @default.
- W2932574801 countsByYear W29325748012023 @default.
- W2932574801 crossrefType "book-chapter" @default.
- W2932574801 hasAuthorship W2932574801A5004695687 @default.
- W2932574801 hasAuthorship W2932574801A5058590949 @default.
- W2932574801 hasAuthorship W2932574801A5077389210 @default.
- W2932574801 hasBestOaLocation W29325748011 @default.
- W2932574801 hasConcept C11413529 @default.
- W2932574801 hasConcept C121332964 @default.
- W2932574801 hasConcept C134306372 @default.
- W2932574801 hasConcept C138885662 @default.
- W2932574801 hasConcept C149288129 @default.
- W2932574801 hasConcept C151376022 @default.
- W2932574801 hasConcept C156884757 @default.
- W2932574801 hasConcept C168773769 @default.
- W2932574801 hasConcept C2524010 @default.
- W2932574801 hasConcept C2778755073 @default.
- W2932574801 hasConcept C2780388253 @default.
- W2932574801 hasConcept C33923547 @default.
- W2932574801 hasConcept C41008148 @default.
- W2932574801 hasConcept C41895202 @default.
- W2932574801 hasConcept C62520636 @default.
- W2932574801 hasConcept C99844830 @default.
- W2932574801 hasConceptScore W2932574801C11413529 @default.
- W2932574801 hasConceptScore W2932574801C121332964 @default.
- W2932574801 hasConceptScore W2932574801C134306372 @default.
- W2932574801 hasConceptScore W2932574801C138885662 @default.
- W2932574801 hasConceptScore W2932574801C149288129 @default.
- W2932574801 hasConceptScore W2932574801C151376022 @default.
- W2932574801 hasConceptScore W2932574801C156884757 @default.
- W2932574801 hasConceptScore W2932574801C168773769 @default.
- W2932574801 hasConceptScore W2932574801C2524010 @default.
- W2932574801 hasConceptScore W2932574801C2778755073 @default.
- W2932574801 hasConceptScore W2932574801C2780388253 @default.
- W2932574801 hasConceptScore W2932574801C33923547 @default.
- W2932574801 hasConceptScore W2932574801C41008148 @default.
- W2932574801 hasConceptScore W2932574801C41895202 @default.
- W2932574801 hasConceptScore W2932574801C62520636 @default.
- W2932574801 hasConceptScore W2932574801C99844830 @default.
- W2932574801 hasLocation W29325748011 @default.
- W2932574801 hasOpenAccess W2932574801 @default.
- W2932574801 hasPrimaryLocation W29325748011 @default.
- W2932574801 hasRelatedWork W1596155524 @default.
- W2932574801 hasRelatedWork W1991906296 @default.
- W2932574801 hasRelatedWork W2001495051 @default.
- W2932574801 hasRelatedWork W2021126666 @default.
- W2932574801 hasRelatedWork W2030128136 @default.
- W2932574801 hasRelatedWork W2092583461 @default.
- W2932574801 hasRelatedWork W2315492480 @default.
- W2932574801 hasRelatedWork W2970225200 @default.
- W2932574801 hasRelatedWork W4293370477 @default.
- W2932574801 hasRelatedWork W4360834605 @default.
- W2932574801 isParatext "false" @default.
- W2932574801 isRetracted "false" @default.
- W2932574801 magId "2932574801" @default.
- W2932574801 workType "book-chapter" @default.