Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search

30 January 2024

Alejandro Arbelaez

Charlotte Truchet

Philippe Codognet

Papers citing "Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search"

5 / 5 papers shown

Title
Towards an Understanding of Long-Tailed Runtimes of SLS Algorithms Jan-Hendrik Lorenz Florian Wörz 20 0 0 24 Oct 2022
Too much information: why CDCL solvers need to forget learned clauses Tom Krüger Jan-Hendrik Lorenz Florian Wörz 16 5 0 01 Feb 2022
Identification of Dynamical Systems using Symbolic Regression G. Kronberger Lukas Kammerer M. Kommenda 40 5 0 06 Jul 2021
Evidence for Long-Tails in SLS Algorithms Florian Wörz Jan-Hendrik Lorenz 16 3 0 01 Jul 2021
The Potential of Restarts for ProbSAT Jan-Hendrik Lorenz Julian Nickerl 26 1 0 26 Apr 2019