Florian Wörz

PhD thesis, 2024

2023

Kombinatorische Spiele als Schlüssel in der Komplexitätsanalyse aussagenlogischer Formeln.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2023., 2023

Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2023

Cutting Planes Width and the Complexity of Graph Isomorphism Refutations.

[BibT_eX]

[DOI]

Electron. Colloquium Comput. Complex., 2023

2022

Toward an Understanding of Long-tailed Runtimes of SLS Algorithms.

[BibT_eX]

[DOI]

ACM J. Exp. Algorithmics, 2022

Towards an Understanding of Long-Tailed Runtimes of SLS Algorithms.

[BibT_eX]

[DOI]

CoRR, 2022

Too much information: CDCL solvers need to forget and perform restarts.

[BibT_eX]

[DOI]

Tom Krüger

CoRR, 2022

Number of Variables for Graph Differentiation and the Resolution of GI Formulas.

[BibT_eX]

[DOI]

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Number of Variables for Graph Identification and the Resolution of GI Formulas.

[BibT_eX]

[DOI]

Electron. Colloquium Comput. Complex., 2021

Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space.

[BibT_eX]

[DOI]

Comput. Complex., 2021

Evidence for Long-Tails in SLS Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual European Symposium on Algorithms, 2021

2020

On the Effect of Learned Clauses on Stochastic Local Search.

[BibT_eX]

[DOI]