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,
}











