Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism.

Christoph Berkholz, Moritz Lichter, Harry Vinall-Smeeth

Browse the full MFCS paper archive.