rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: State-Space Search
    sub title: Algorithms, Complexity, Extensions, and Applications
  name:
    name part: Zhang, Weixiong.
    role:
      role term: creator
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: nyu
    date issued: 1999
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (XVI, 201 pages 51 illustrations)
  abstract: This book is about problem-solving. In particular it is about heuristic state-space search for combinatorial optimization - one of the fundamental problems of computer science. Its two central themes are the average-case complexity of state-space search algorithms and the applications of the results notably to branch-and-bound techniques. These include best-first search, depth-first branch-and- bound, iterative deepening, recursive best-first search, and constant- space best-first search. Primarily written for researchers in computer science, the author presupposes a basic familiarity with complexity theory. In addition, it is assumed that the reader is familiar with the basic concepts of random variables and recursive functions. Two succesful applications are presented in depth: one is a set of state-space transformation methods which can be used to find approximate solutions qwuickly, and the second is a method called forward estimation for constructing more informative evaluation functions.
  table of contents: Search for problem solving -- Algorithms for state-space search -- Complexity of state-space search -- Complexity transitions -- Algorithm selection -- State-space transformation for approximate and flexible computation -- Forward estimation for game search -- A retrospective view -- Appendices -- Bibliography.
  note: by Weixiong Zhang.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Computer software
  subject:
    topic: Logic design
  subject:
    topic: Artificial intelligence
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer science
  subject:
    topic: Computer software
  subject:
    topic: Logic design
  classification: QA76.9.L63
  classification: 005.1015113
  identifier: 9781461215387 (electronic bk.)
  identifier: 1461215382 (electronic bk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: I9W
    record creation date: 121227
    record change date: 20260422210211.4
    record identifier: in00003547105
    language of cataloging:
      language term: eng