An Explicit Solution to Post's Problem over the Reals.

Klaus Meer Martin Ziegler

Published in: FCT (2005)

Keyphrases

real world
optimal solution
search algorithm
closed form
artificial intelligence
decision trees
data structure
query language
mathematical model
exact solution