Книга Нильсона написана как учебник, посвященный методам поиска решений в пространстве состояний, - главной теме в исследованиях по искусственному интеллекту. В ней излагаются основные теоретические результаты и для их иллюстрации разбираются многочисленные примеры решения задач - игра в 15, игра тик-так-ту, задача о коммивояжере, задача о пирамидке, доказательство теорем и др. Для чтения книги требуются небольшие познания по теории графов, комбинаторике и исчислению предикатов. Доступность изложения и тщательно подобранные задачи различной трудности делают книгу полезной студентам и аспирантам, специализирующимся по искусственному интеллекту. Она будет интересна и специалисту как обстоятельный обзор большого числа современных работ, рассеянных по журналам, трудам конференций и отчетам.