{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:54:05Z","timestamp":1725555245919},"reference-count":10,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780122272400"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1016\/b0-12-227240-4\/00155-6","type":"book-chapter","created":{"date-parts":[[2004,12,9]],"date-time":"2004-12-09T02:20:05Z","timestamp":1102558805000},"page":"31-43","source":"Crossref","is-referenced-by-count":1,"title":["Search Techniques"],"prefix":"10.1016","author":[{"given":"Richard E.","family":"Korf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1992","series-title":"Search methods for artificial intelligence","author":"Bole","key":"10.1016\/B0-12-227240-4\/00155-6_bib1"},{"key":"10.1016\/B0-12-227240-4\/00155-6_bib2","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","article-title":"A computing procedure for quantification theory","volume":"7","author":"Davis","year":"1960","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10.1016\/B0-12-227240-4\/00155-6_bib3","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF01386390","article-title":"A note on two problems in connection with graphs","volume":"1","author":"Dijkstra","year":"1959","journal-title":"Numerische Mathematik"},{"issue":"2","key":"10.1016\/B0-12-227240-4\/00155-6_bib4","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","article-title":"A formal basis for the heuristic determination of minimum cost paths","volume":"4","author":"Hart","year":"1968","journal-title":"IEEE Transactions on Systems Science and Cybernetics"},{"issue":"1","key":"10.1016\/B0-12-227240-4\/00155-6_bib5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","article-title":"Depth-first iterative-deepening","volume":"27","author":"Korf","year":"1985","journal-title":"Artificial Intelligence"},{"issue":"1\u20133","key":"10.1016\/B0-12-227240-4\/00155-6_bib6","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0004-3702(92)90007-K","article-title":"Minimizing conflicts","volume":"58","author":"Minton","year":"1992","journal-title":"Artificial Intelligence"},{"year":"1972","series-title":"Human problem solving","author":"Newell","key":"10.1016\/B0-12-227240-4\/00155-6_bib7"},{"year":"1984","series-title":"Heuristics","author":"Pearl","key":"10.1016\/B0-12-227240-4\/00155-6_bib8"},{"key":"10.1016\/B0-12-227240-4\/00155-6_bib9","first-page":"440","article-title":"A new method for solving hard satisfiability problems","author":"Selman","year":"1992","journal-title":"Proc. Tenth National Conference on Artificial Intelligence (AAAI-92)"},{"key":"10.1016\/B0-12-227240-4\/00155-6_bib10","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1080\/14786445008521796","article-title":"Programming a computer for playing chess","volume":"41","author":"Shannon","year":"1950","journal-title":"Philosophical Magazine"}],"container-title":["Encyclopedia of Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B0122272404001556?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B0122272404001556?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T04:20:01Z","timestamp":1548994801000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B0122272404001556"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9780122272400"],"references-count":10,"URL":"https:\/\/doi.org\/10.1016\/b0-12-227240-4\/00155-6","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}