Random Resolution Refutations.

Pavel Pudlák Neil Thapen

Published in: Computational Complexity Conference (2017)

Keyphrases

high resolution
artificial intelligence
e learning
website
databases
machine learning
learning algorithm
multimedia
evolutionary algorithm
low resolution
uniformly distributed
consequence finding