notesum.ai

Published at November 21

Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman

cs.CC
cs.LO

Released Date: November 21, 2024

Authors: Susanna F. de Rezende1, Noah Fleming2, Duri Andrea Janett3, Jakob Nordström3, Shuo Pang4

Aff.: 1Lund University; 2Memorial University; 3University of Copenhagen and Lund University; 4University of Copenhagen

Arxiv: http://arxiv.org/abs/2411.14267v1