Simplified and Improved Separations Between Regular and General Resolution by Lifting

Marc Vinyals, Jan Elffers, Jan Johannsen, Jakob Nordström

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Simplified and Improved Separations Between Regular and General Resolution by Lifting”. Tillsammans bildar de ett unikt fingeravtryck.