A Solution to Short PVS Caused by Exact Hash Matches.

Robert M. Hyatt

Published in: J. Int. Comput. Games Assoc. (2014)

Keyphrases

real time
exact solution
approximate matches
multi objective
knowledge base
multiscale
object oriented
theorem proving