Links

• On complexity analysis.
  • a tutorial on complexity notions
  • Standard text book on algorithms is "Introduction to Algorithms", Cormen, T H, Leiserson, C E, Rivest, R L and Stein, C, MIT Press, 2001
  • A readable overview of the area, also generally available:

    "Algorithmics: The Spirit of Computing" David Harel, Addison-Wesley, Reading, MA, 3rd edition (with Y. Feldman), 2004.

• On satisfiability algorithms
  • Walksat home page
  • latest goings on in SAT solving
  • a paper on the phase transition of computational difficulty in 3-SAT.
• Different approaches to AI:
  • Connectionism from the Stanford Dictionary of Philosophy
  • symbolic and connectionist approaches to AI from Encyclopaedia Britannica on-line
  • related papers including Smolensky on sub-symbolic computation.