Florian Wörz

18 papers A 4B 1Journal 11
YearRankTypeTitle / Venue / Authors
2024 J jnl
Cutting Planes Width and the Complexity of Graph Isomorphism Refutations.
ACM Trans. Comput. Log.
Jacobo Torán, Florian Wörz
2024 — —
On the complexity of solving propositional formulas.
Florian Wörz
2023 A conf
Cutting Planes Width and the Complexity of Graph Isomorphism Refutations.
SAT
Jacobo Torán, Florian Wörz
2023 J jnl
Cutting Planes Width and the Complexity of Graph Isomorphism Refutations.
Electron. Colloquium Comput. Complex.
Jacobo Torán, Florian Wörz
2023 — ch.
Kombinatorische Spiele als Schlüssel in der Komplexitätsanalyse aussagenlogischer Formeln.
Ausgezeichnete Informatikdissertationen
Florian Wörz
2023 J jnl
Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas.
ACM Trans. Comput. Log.
Jacobo Torán, Florian Wörz
2022 B conf
Number of Variables for Graph Differentiation and the Resolution of GI Formulas.
CSL
Jacobo Torán, Florian Wörz
2022 J jnl
Too much information: CDCL solvers need to forget and perform restarts.
CoRR
Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz
2022 J jnl
Toward an Understanding of Long-tailed Runtimes of SLS Algorithms.
ACM J. Exp. Algorithmics
Jan-Hendrik Lorenz, Florian Wörz
2022 J jnl
Towards an Understanding of Long-Tailed Runtimes of SLS Algorithms.
CoRR
Jan-Hendrik Lorenz, Florian Wörz
2021 A conf
Evidence for Long-Tails in SLS Algorithms.
ESA
Florian Wörz, Jan-Hendrik Lorenz
2021 J jnl
Evidence for Long-Tails in SLS Algorithms.
CoRR
Florian Wörz, Jan-Hendrik Lorenz
2021 J jnl
Number of Variables for Graph Identification and the Resolution of GI Formulas.
Electron. Colloquium Comput. Complex.
Jacobo Torán, Florian Wörz
2021 J jnl
Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space.
Comput. Complex.
Jacobo Torán, Florian Wörz
2020 A conf
On the Effect of Learned Clauses on Stochastic Local Search.
SAT
Jan-Hendrik Lorenz, Florian Wörz
2020 J jnl
On the Effect of Learned Clauses on Stochastic Local Search.
CoRR
Jan-Hendrik Lorenz, Florian Wörz
2020 A conf
Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space.
STACS
Jacobo Torán, Florian Wörz
2019 J jnl
Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space.
Electron. Colloquium Comput. Complex.
Jacobo Torán, Florian Wörz