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
∙
05/07/2020