Login / Signup

Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.

Larry WosDolph UlrichBranden Fitelson
Published in: J. Autom. Reason. (2002)
Keyphrases
  • information retrieval
  • computer vision
  • database
  • real time
  • data sets
  • neural network
  • real world
  • artificial intelligence
  • multiscale
  • search algorithm
  • knowledge discovery
  • shortest path
  • pattern discovery