Florian Wörz

MaRDI QIDQ2033468zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 ACM Transactions on Computational Logic	2024-11-12	Paper
Toward an Understanding of Long-tailed Runtimes of SLS Algorithms ACM Journal of Experimental Algorithmics	2024-04-14	Paper
Number of variables for graph differentiation and the resolution of GI formulas	2024-04-10	Paper
Evidence for Long-Tails in SLS Algorithms (available as arXiv preprint)	2023-09-20	Paper
Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas ACM Transactions on Computational Logic	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 Computational Complexity	2021-06-17	Paper
On the effect of learned clauses on stochastic local search (available as arXiv preprint)	2021-04-07	Paper

Research outcomes over time

This page was built for person: Florian Wörz