Paper by Christoph Berkholz, Moritz Lichter and Harry Vinall-Smeeth accepted for publication at MFCS 2025

TU Ilmenau

The paper “Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism” by Christoph Berkholz, Moritz Lichter und Harry Vinall-Smeeth was accepted for presentation at MFCS 2025 (https://mfcs2025.mimuw.edu.pl/). A preprint is available at https://arxiv.org/abs/2407.17947.