Login / Signup

Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics.

Tatjana LutovacJames Harland
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • search strategies
  • search algorithm
  • search strategy
  • search engine
  • neural network
  • database systems
  • reinforcement learning
  • data structure
  • heuristic search
  • constraint programming
  • branch and bound
  • search methods