The following publications are possibly variants of this publication:
- Separations in Proof Complexity and TFNPMika Göös, Alexandros Hollender, Siddhartha Jain 0002, Gilbert Maystre, William Pires, Robert Robere, Ran Tao. eccc, TR22, 2022. [doi]
- Intersection Classes in TFNP and Proof ComplexityYuhao Li 0002, William Pires, Robert Robere. innovations 2024: [doi]
- Colourful TFNP and Propositional ProofsBen Davis, Robert Robere. eccc, TR23, 2023. [doi]
- Colourful TFNP and Propositional ProofsBen Davis, Robert Robere. coco 2023: [doi]
- Adventures in Monotone Complexity and TFNPMika Göös, Pritish Kamath, Robert Robere, Dmitry Sokolov. eccc, 25:163, 2018. [doi]
- Adventures in Monotone Complexity and TFNPMika Göös, Pritish Kamath, Robert Robere, Dmitry Sokolov 0001. innovations 2018: [doi]