TY  - RPRT
TI  - Is it Easier to Prove Theorems that are Guaranteed to be True?
AU  - Rafael Pass
AU  - Muthuramakrishnan Venkitasubramaniam
PY  - 2020
UR  - https://arxiv.org/abs/1906.10837
ID  - 1906.10837
ER  -