On the Effect of Learned Clauses on Stochastic Local Search. - Jan-Hendrik Lorenz; Florian Wörz (SAT, 2020)

Evidence for Long-Tails in SLS Algorithms. - Florian Wörz; Jan-Hendrik Lorenz (ESA, 2021)

Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space. - Jacobo Torán; Florian Wörz (Comput. Complex., 2021)

Number of Variables for Graph Identification and the Resolution of GI Formulas. - Jacobo Torán; Florian Wörz (Electron. Colloquium Comput. Complex., 2021)

Number of Variables for Graph Differentiation and the Resolution of GI Formulas. - Jacobo Torán; Florian Wörz (CSL, 2022)

Too much information: CDCL solvers need to forget and perform restarts. - Tom Krüger; Jan-Hendrik Lorenz; Florian Wörz (CoRR, 2022)

Towards an Understanding of Long-Tailed Runtimes of SLS Algorithms. - Jan-Hendrik Lorenz; Florian Wörz (CoRR, 2022)

Toward an Understanding of Long-tailed Runtimes of SLS Algorithms. - Jan-Hendrik Lorenz; Florian Wörz (ACM J. Exp. Algorithmics, 2022)

Cutting Planes Width and the Complexity of Graph Isomorphism Refutations. - Jacobo Torán; Florian Wörz (Electron. Colloquium Comput. Complex., 2023)

Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas. - Jacobo Torán; Florian Wörz (ACM Trans. Comput. Log., 2023)

Kombinatorische Spiele als Schlüssel in der Komplexitätsanalyse aussagenlogischer Formeln. - Florian Wörz (Ausgezeichnete Informatikdissertationen, 2023)

On the complexity of solving propositional formulas. - Florian Wörz (2024)