 Towards an Understanding of Long-Tailed Runtimes of SLS AlgorithmsACM Journal of Experimental Algorithmics (JEA), 2022 |
 Too much information: why CDCL solvers need to forget learned clausesPLoS ONE (PLoS ONE), 2022 |
 Evidence for Long-Tails in SLS AlgorithmsEmbedded Systems and Applications (ESA), 2021 |