Simplified and improved resolution lower bounds (1996)

by P Beame, T Pitassi
Venue:In Proc. 37th IEEE Symposium on Foundations of Computer Science