Florian Wörz

Available identifiers

zbMath Open worz.florianMaRDI QIDQ2033468

List of research outcomes

Publication	Date of Publication	Type
Cutting planes width and the complexity of graph isomorphism refutations	2024-11-26	Paper
Cutting planes width and the complexity of graph isomorphism refutations	2024-11-12	Paper
Toward an Understanding of Long-tailed Runtimes of SLS Algorithms	2024-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q6124972	2024-04-10	Paper
Evidence for Long-Tails in SLS Algorithms	2023-09-20	Paper
Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas	2023-07-18	Paper
Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space	2023-02-07	Paper
Reversible pebble games and the relation between tree-like and general resolution space	2021-06-17	Paper
On the effect of learned clauses on stochastic local search	2021-04-07	Paper

Research outcomes over time

This page was built for person: Florian Wörz