research
∙
10/24/2022
Towards an Understanding of Long-Tailed Runtimes of SLS Algorithms
The satisfiability problem is one of the most famous problems in compute...
share
research
∙
02/01/2022
Too much information: CDCL solvers need to forget and perform restarts
Conflict-driven clause learning (CDCL) is a remarkably successful paradi...
research
∙
07/01/2021
Evidence for Long-Tails in SLS Algorithms
Stochastic local search (SLS) is a successful paradigm for solving the s...
research
∙
02/02/2021
Statistical privacy-preserving message dissemination for peer-to-peer networks
Concerns for the privacy of communication is widely discussed in researc...
research
∙
05/07/2020
On the Effect of Learned Clauses on Stochastic Local Search
There are two competing paradigms in successful SAT solvers: Conflict-dr...
research
∙
04/26/2019
