Counting Bottlenecks to Show Monotone P 6= NP (1995)

by A Haken
Venue:Proc. of 36th FOCS