Jan-Hendrik Lorenz

17 papers A 2B 1Misc 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
Too much information: CDCL solvers need to forget and perform restarts.
CoRR
Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz
2022 J jnl
Toward an Understanding of Long-tailed Runtimes of SLS Algorithms.
ACM J. Exp. Algorithmics
Jan-Hendrik Lorenz, Florian Wörz
2022 J jnl
Towards an Understanding of Long-Tailed Runtimes of SLS Algorithms.
CoRR
Jan-Hendrik Lorenz, Florian Wörz
2021 A conf
Evidence for Long-Tails in SLS Algorithms.
ESA
Florian Wörz, Jan-Hendrik Lorenz
2021 J jnl
Evidence for Long-Tails in SLS Algorithms.
CoRR
Florian Wörz, Jan-Hendrik Lorenz
2021 — conf
From Local Network Formation Game to Peer-to-Peer Protocol.
ISEEIE
Julian Nickerl, David Mödinger, Jan-Hendrik Lorenz
2021 J jnl
Restart Strategies in a Continuous Setting.
Theory Comput. Syst.
Jan-Hendrik Lorenz
2021 — —
Restart strategies.
Jan-Hendrik Lorenz
2021 J jnl
Statistical privacy preserving message dissemination for peer-to-peer networks.
CoRR
David Mödinger, Jan-Hendrik Lorenz, Franz J. Hauck
2020 A conf
On the Effect of Learned Clauses on Stochastic Local Search.
SAT
Jan-Hendrik Lorenz, Florian Wörz
2020 J jnl
On the Effect of Learned Clauses on Stochastic Local Search.
CoRR
Jan-Hendrik Lorenz, Florian Wörz
2020 — conf
Promise Problems on Probability Distributions.
Complexity and Approximation
Jan-Hendrik Lorenz, Uwe Schöning
2019 Misc conf
On the Complexity of Restarting.
CSR
Jan-Hendrik Lorenz
2019 — conf
The Potential of Restarts for ProbSAT.
EUROCAST (1)
Jan-Hendrik Lorenz, Julian Nickerl
2019 J jnl
The Potential of Restarts for ProbSAT.
CoRR
Jan-Hendrik Lorenz, Julian Nickerl
2018 B conf
Runtime Distributions and Criteria for Restarts.
SOFSEM
Jan-Hendrik Lorenz
2017 J jnl
Runtime Distributions and Criteria for Restarts.
CoRR
Jan-Hendrik Lorenz