Optimal Proofs of Determinacy II.

Published in: J. Math. Log. (2002)

Keyphrases

optimal solution
dynamic programming
worst case
theorem prover
real time
data sets
databases
data structure
lower bound
theorem proving
formal proof