Random resolution refutations.

Pavel Pudlák Neil Thapen

Published in: Comput. Complex. (2019)

Keyphrases

high resolution
low resolution
data sets
real world
special case
hidden markov models
consequence finding
artificial intelligence
information systems
decision making
image processing
similarity measure
multi agent systems
multiresolution
uniformly distributed