Is it Easier to Prove Theorems that are Guaranteed to be True? (Conference Paper) | NSF PAGES

skip to main content

Citation Details

Is it Easier to Prove Theorems that are Guaranteed to be True?

Award ID(s):: 1703846 1704788

NSF-PAR ID:: 10219729

Author(s) / Creator(s):: Pass, Rafael; Venkitasubramaniam, Muthuramakrishnan

Date Published:: 2020-11-01

Journal Name:: FOCS'20

Page Range / eLocation ID:: 1255 to 1267

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
https://doi.org/10.1109/FOCS46700.2020.00119