Fixpoints and Search in PVS.

Natarajan Shankar

Published in: LASER Summer School (2008)

Keyphrases

search algorithm
search space
neural network
search strategy
theorem proving
search efficiency
search methods
search strategies
database
data sets
information systems
web pages
decision trees
information access
exhaustive search
search tools