Toniann Pitassi, Ran Raz
Regular resolution lower bounds for the weak pigeonhole principle
STOC, 2001.
@inproceedings{STOC-2001-PitassiR, author = "Toniann Pitassi and Ran Raz", booktitle = "{Proceedings of the 33rd Annual ACM Symposium on Theory of Computing}", doi = "10.1145/380752.380821", isbn = "1-58113-349-9", pages = "347--355", publisher = "{ACM}", title = "{Regular resolution lower bounds for the weak pigeonhole principle}", year = 2001, }