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

Rafael Pass Muthuramakrishnan Venkitasubramaniam

Published in: FOCS (2020)

Keyphrases

data mining
artificial intelligence
machine learning
computer vision
website
training data
np hard
scheduling problem
management system
counter intuitive