Paul Beame, Michael Whitmeyer: Multiparty Communication Complexity of Collision-Finding and Cutting Planes Proofs of Concise Pigeonhole Principles. Electron. Colloquium Comput. Complex. TR25: Article TR25-057 (2025)