Skip to content

Narrow proofs may be spacious: separating space and width in resolution.

Jakob Nordstrm

VenueA*STOC
Year2006
ProceedingsSTOC

Browse the full STOC paper archive.