Symbolic Execution in Algorithm Design.

David M. Steier Elaine Kant

Published in: IJCAI (1985)

Keyphrases

search space
optimal solution
learning algorithm
symbolic execution
database
neural network
building blocks
optimization algorithm
matching algorithm