On computability and tractability for infinite sets.

Mikolaj Bojanczyk Szymon Torunczyk

Published in: LICS (2018)

Keyphrases

computational complexity
constraint satisfaction
real time
finite sets
machine learning
np complete
real numbers
set theoretic
genetic algorithm
web services
multiresolution
mobile robot
probabilistic model