Florian Wörz

According to our database, Florian Wörz authored at least 10 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Cutting Planes Width and the Complexity of Graph Isomorphism Refutations.

Jacobo Torán, Florian Wörz

Electron. Colloquium Comput. Complex., 2023

2022

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

Jan-Hendrik Lorenz, Florian Wörz

ACM J. Exp. Algorithmics, 2022

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

Jan-Hendrik Lorenz, Florian Wörz

CoRR, 2022

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

Tom Krüger, Jan-Hendrik Lorenz, Florian Wörz

CoRR, 2022

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

Jacobo Torán, Florian Wörz

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.

Jacobo Torán, Florian Wörz

Electron. Colloquium Comput. Complex., 2021

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

Jacobo Torán, Florian Wörz

Comput. Complex., 2021

Evidence for Long-Tails in SLS Algorithms.

Florian Wörz, Jan-Hendrik Lorenz

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

2020

On the Effect of Learned Clauses on Stochastic Local Search.

Jan-Hendrik Lorenz, Florian Wörz

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020