Many hard examples for resolution (0)

by V Chvatal, E Szemeredi
Venue:JACM