Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs

Susanna F. de Rezende, Jakob Nordström, Kilian Risse, Dmitry Sokolov

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs”. Tillsammans bildar de ett unikt fingeravtryck.

Mathematics