Simplified and improved resolution lower bounds (1996)

by P Beame, T Pitassi
Venue:In Proceedings of the 37th annual IEEE symposium on Foundation Of Computer Science