Optimal proofs of determinacy.

Published in: Bull. Symb. Log. (1995)

Keyphrases

optimal solution
dynamic programming
data sets
state space
exhaustive search
optimal strategy
finding optimal
formal proofs