No. 29 (1999): RS-29 A Complexity Gap for Tree-Resolution

Published: 1999-01-29