On Pigeonhole Principles and Ramsey in TFNP
Siddhartha Jain, Jiawei Li, Robert Robere, Zhiyang Xun
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Siddhartha Jain, Jiawei Li, Robert Robere, Zhiyang Xun