vix.ing · top · new · best · stats · spec

Janett, Duri Andrea

  1. Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman
    2024/11/21 by de Rezende, Susanna F., Fleming, Noah, Janett, Duri Andrea +2 · 1 citation
    #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)