Resolution lower bounds for perfect matching principles, (2004)

by A A Razborov
Venue:J. Comput. System Sci.