CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Search

areas/search/

   aisearch/  AI Search: AI C++ Search Class Library
This directory contains search software and related materials.
References: Pearl, J. and Korf, R. E., "Search techniques", Annual Review of Computer Science, volume 2, J.F. Traub, B.J. Grosz, B.W. Lampson and N.J. Nilsson, editors, pages 451-467, Annual Reviews Inc., Palo Alto, CA, 1987. L. Kanal and V. Kumar, "Search in Artificial Intelligence", Springer-Verlag, 1988. Hans J. Berliner, "The B* Tree Search Algorithm: A Best-First Proof Procedure", Artificial Intelligence, 12(1):23-40, May 1979. Also appears in "Readings in Artificial Intelligence". Pearl, J., "Heuristics: Intelligent Search Strategies for Computer Problem Solving", Addison-Wesley, 1984. Kirkpatrick, S. Gelatt, CD, and Vecchi, MP, "Optimization by Simulated Annealing", Science 220(4589):671-680, 1983. Hermann Kaindl, "Minimaxing: Theory and Practice", AI Magazine, 9(3):69-76, Fall 1988. Chris Thornton & Benedict du Boulay, "Artificial Intelligence Through Search" Kluwer Academic (Paperback version Intellect Books), Dordrecht Netherlands & Norwell, MA USA (Intellect at Oxford), 1992 [See also the Barr and Feigenbaum's Handbook of AI, chapter 1; Nilsson's Principles of AI, sections 2.4.1 through 2.4.4 (A*), sections 3.1 and 3.2 (AND/OR trees and AO*); the Mackworth paper in Readings in Artificial Intelligence; and R. Korf, "Search: A survey of recent results" in Shrobe's Exploring Artificial Intelligence, pages 197-237, August 1990.] CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: AI Software Packages, Search, Software Packages
Last Web update on Mon Feb 13 10:28:13 1995
AI.Repository@cs.cmu.edu