Florian Wörz

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 15

Top Topics

Combinatorial Optimisation

Random Sat Instances

Computational Efficiency

Stochastic Local Search

Top Venues

Electron. Colloquium Comput. Complex.

ACM Trans. Comput. Log.

Publications

Jacobo Torán, Florian Wörz
Cutting Planes Width and the Complexity of Graph Isomorphism Refutations. Electron. Colloquium Comput. Complex. (2023)
Jacobo Torán, Florian Wörz
Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas. ACM Trans. Comput. Log. 24 (3) (2023)
Jacobo Torán, Florian Wörz
Cutting Planes Width and the Complexity of Graph Isomorphism Refutations. SAT (2023)
Jacobo Torán, Florian Wörz
Number of Variables for Graph Differentiation and the Resolution of GI Formulas. CSL (2022)
Jan-Hendrik Lorenz, Florian Wörz
Toward an Understanding of Long-tailed Runtimes of SLS Algorithms. ACM J. Exp. Algorithmics 27 (2022)
Jan-Hendrik Lorenz, Florian Wörz
Towards an Understanding of Long-Tailed Runtimes of SLS Algorithms. CoRR (2022)
Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz
Too much information: CDCL solvers need to forget and perform restarts. CoRR (2022)
Florian Wörz, Jan-Hendrik Lorenz
Evidence for Long-Tails in SLS Algorithms. CoRR (2021)
Jacobo Torán, Florian Wörz
Number of Variables for Graph Identification and the Resolution of GI Formulas. Electron. Colloquium Comput. Complex. 28 (2021)
Florian Wörz, Jan-Hendrik Lorenz
Evidence for Long-Tails in SLS Algorithms. ESA (2021)
Jacobo Torán, Florian Wörz
Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space. Comput. Complex. 30 (1) (2021)
Jan-Hendrik Lorenz, Florian Wörz
On the Effect of Learned Clauses on Stochastic Local Search. CoRR (2020)
Jan-Hendrik Lorenz, Florian Wörz
On the Effect of Learned Clauses on Stochastic Local Search. SAT (2020)
Jacobo Torán, Florian Wörz
Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space. STACS (2020)
Jacobo Torán, Florian Wörz
Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space. Electron. Colloquium Comput. Complex. 26 (2019)