Simplified and improved resolution lower bounds (1996)

by P Beame, T Pitassi
Venue:University of Chicago