Login / Signup
The Early Search for Tractable Ways of Reasoning about Programs.
Cliff B. Jones
Published in:
IEEE Ann. Hist. Comput. (2003)
Keyphrases
</>
search algorithm
search space
search strategies
real time
digital libraries
information retrieval systems
qualitative reasoning
genetic algorithm
information systems
np hard
programming language
search strategy
keyword search
semantic search
search mechanism