Evidence for Long-Tails in SLS Algorithms

DOI10.4230/lipics.esa.2021.82arXiv2107.00378OpenAlexW3197550569MaRDI QIDQ6075980

Florian Wörz, Jan-Hendrik Lorenz

Publication date: 20 September 2023

Full work available at URL: https://arxiv.org/abs/2107.00378

zbMATH Keywords

lognormal distributionstatistical analysislong-tailed distributionstochastic local searchSAT solvingruntime distribution

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx)

This page was built for publication: Evidence for Long-Tails in SLS Algorithms