Florian Wörz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2023

Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism FormulasJacobo Torán, Florian Wörz. tocl, 24(3), 2023. [doi]

Cutting Planes Width and the Complexity of Graph Isomorphism RefutationsJacobo Torán, Florian Wörz. eccc, TR23, 2023. [doi]

Cutting Planes Width and the Complexity of Graph Isomorphism RefutationsJacobo Torán, Florian Wörz. sat 2023: [doi]

2022

Toward an Understanding of Long-tailed Runtimes of SLS AlgorithmsJan-Hendrik Lorenz, Florian Wörz. jea, 27, 2022. [doi]

Number of Variables for Graph Differentiation and the Resolution of GI FormulasJacobo Torán, Florian Wörz. csl 2022: [doi]

2021

Reversible Pebble Games and the Relation Between Tree-Like and General Resolution SpaceJacobo Torán, Florian Wörz. cc, 30(1):7, 2021. [doi]

Number of Variables for Graph Identification and the Resolution of GI FormulasJacobo Torán, Florian Wörz. eccc, 28:97, 2021. [doi]

Evidence for Long-Tails in SLS AlgorithmsFlorian Wörz, Jan-Hendrik Lorenz. esa 2021: [doi]

2020

On the Effect of Learned Clauses on Stochastic Local SearchJan-Hendrik Lorenz, Florian Wörz. sat 2020: 89-106 [doi]

Reversible Pebble Games and the Relation Between Tree-Like and General Resolution SpaceJacobo Torán, Florian Wörz. STACS 2020: [doi]

2019

Reversible Pebble Games and the Relation Between Tree-Like and General Resolution SpaceJacobo Torán, Florian Wörz. eccc, 26:97, 2019. [doi]

Sign in or sign up to see more results.

runs on WebDSL