Narrow proofs may be spacious: Separating space and width in resolution

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

Fingeravtryck

Fördjupa i forskningsämnen för ”Narrow proofs may be spacious: Separating space and width in resolution”. Tillsammans bildar de ett unikt fingeravtryck.

Mathematics

Computer Science