Arbeit von Christoph Berkholz, Moritz Lichter und Harry Vinall-Smeeth auf der MFCS 2025 zur Veröffentlichung angenommen

TU Ilmenau

Die Arbeit “Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism” von Christoph Berkholz, Moritz Lichter und Harry Vinall-Smeeth wurde auf der MFCS 2025 (https://mfcs2025.mimuw.edu.pl/) zur Veröffentlichung angenommen. Ein Vorabdruck ist unter https://arxiv.org/abs/2407.17947 verfügbar.