Florian Wrz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2023
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAT | Cutting Planes Width and the Complexity of Graph Isomorphism Refutations. | Jacobo Torn, Florian Wrz |
| 2022 | CSL | Number of Variables for Graph Differentiation and the Resolution of GI Formulas. | Jacobo Torn, Florian Wrz |
| 2021 | ESA | Evidence for Long-Tails in SLS Algorithms. | Florian Wrz, Jan-Hendrik Lorenz |
| 2020 | STACS | Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space. | Jacobo Torn, Florian Wrz |
| 2020 | SAT | On the Effect of Learned Clauses on Stochastic Local Search. | Jan-Hendrik Lorenz, Florian Wrz |