{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:58:50Z","timestamp":1725577130562},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642179273"},{"type":"electronic","value":"9783642179280"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-17928-0_3","type":"book-chapter","created":{"date-parts":[[2011,1,26]],"date-time":"2011-01-26T20:16:26Z","timestamp":1296072986000},"page":"23-35","source":"Crossref","is-referenced-by-count":1,"title":["Evaluation-Function Based Proof-Number Search"],"prefix":"10.1007","author":[{"given":"Mark H. M.","family":"Winands","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maarten P. D.","family":"Schadd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Allis, L.V.: Searching for Solutions in Games and Artificial Intelligence. PhD thesis, Rijksuniversiteit Limburg, Maastricht, The Netherlands (1994)"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0004-3702(94)90004-3","volume":"66","author":"L.V. Allis","year":"1994","unstructured":"Allis, L.V., van der Meulen, M., van den Herik, H.J.: Proof-number search. Artificial Intelligence\u00a066(1), 91\u2013123 (1994)","journal-title":"Artificial Intelligence"},{"key":"3_CR3","unstructured":"Breuker, D.M.: Memory versus Search in Games. PhD thesis, Universiteit Maastricht, Maastricht, The Netherlands (1998)"},{"key":"3_CR4","first-page":"115","volume-title":"Advances in Computer Games 9","author":"D.M. Breuker","year":"2001","unstructured":"Breuker, D.M., Uiterwijk, J.W.H.M., van den Herik, H.J.: The PN2-search algorithm. In: van den Herik, H.J., Monien, B. (eds.) Advances in Computer Games 9, pp. 115\u2013132. Maastricht University, Maastricht, The Netherlands (2001)"},{"key":"3_CR5","unstructured":"Kishimoto, A., M\u00fcller, M.: Search versus knowledge for solving life and death problems in Go. In: Veloso, M.M., Kambhampati, S. (eds.) AAAI 2005, pp. 1374\u20131379. AAAI Press \/ The MIT Press (2005)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Nagai, A.: A new depth-first-search algorithm for AND\/OR trees. Master\u2019s thesis, The University of Tokyo, Tokyo, Japan (1999)","DOI":"10.3233\/ICG-1999-22106"},{"key":"3_CR7","unstructured":"Nagai, A.: Df-pn Algorithm for Searching AND\/OR Trees and its Applications. PhD thesis, The University of Tokyo, Tokyo, Japan (2002)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-540-75538-8_14","volume-title":"Computers and Games","author":"J. Pawlewicz","year":"2007","unstructured":"Pawlewicz, J., Lew, \u0141.: Improving Depth-First PN-Search: 1 + \u03b5 Trick. In: van den Herik, H.J., Ciancarini, P., Donkers, H.H.L.M(J.) (eds.) CG 2006. LNCS, vol.\u00a04630, pp. 160\u2013171. Springer, Heidelberg (2007)"},{"issue":"3-4","key":"3_CR9","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0020-0255(03)00047-1","volume":"154","author":"M. Sakuta","year":"2003","unstructured":"Sakuta, M., Hashimoto, T., Nagashima, J., Uiterwijk, J.W.H.M., Iida, H.: Application of the killer-tree heuristic and the lamba-search method to Lines of Action. Information Sciences\u00a0154(3-4), 141\u2013155 (2003)","journal-title":"Information Sciences"},{"issue":"4","key":"3_CR10","doi-asserted-by":"crossref","first-page":"187","DOI":"10.3233\/ICG-2007-30402","volume":"30","author":"J. Schaeffer","year":"2007","unstructured":"Schaeffer, J.: Game over: Black to play and draw in checkers. ICGA Journal\u00a030(4), 187\u2013197 (2007)","journal-title":"ICGA Journal"},{"issue":"1-2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/S0004-3702(01)00084-4","volume":"129","author":"M. Seo","year":"2001","unstructured":"Seo, M., Iida, H., Uiterwijk, J.W.H.M.: The PN*-search algorithm: Application to Tsume-Shogi. Artificial Intelligence\u00a0129(1-2), 253\u2013277 (2001)","journal-title":"Artificial Intelligence"},{"key":"3_CR12","unstructured":"Winands, M.H.M.: Informed Search in Complex Games. PhD thesis, Universiteit Maastricht, Maastricht, The Netherlands (2004)"},{"issue":"3","key":"3_CR13","doi-asserted-by":"crossref","first-page":"162","DOI":"10.3233\/ICG-2007-30308","volume":"30","author":"M.H.M. Winands","year":"2007","unstructured":"Winands, M.H.M.: SIA wins Surakarta tournament. ICGA Journal\u00a030(3), 162 (2007)","journal-title":"ICGA Journal"},{"issue":"3","key":"3_CR14","doi-asserted-by":"crossref","first-page":"234","DOI":"10.3233\/ICG-2008-31404","volume":"31","author":"M.H.M. Winands","year":"2008","unstructured":"Winands, M.H.M.: 6\u00d76 LOA is Solved. ICGA Journal\u00a031(3), 234\u2013238 (2008)","journal-title":"ICGA Journal"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/j.tcs.2002.10.006","volume":"313","author":"M.H.M. Winands","year":"2004","unstructured":"Winands, M.H.M., Uiterwijk, J.W.H.M., van den Herik, H.J.: An effective two-level proof-number search algorithm. Theoretical Computer Science\u00a0313(3), 511\u2013525 (2004)","journal-title":"Theoretical Computer Science"},{"key":"3_CR16","unstructured":"Winands, M.H.M., van den Herik, H.J.: MIA: a world champion LOA program. In: The 11 th Game Programming Workshop in Japan 2006, pp. 84\u201391 (2006)"},{"key":"3_CR17","first-page":"4525","volume-title":"Control and Decision Conference","author":"C. Xu","year":"2009","unstructured":"Xu, C., Ma, Z.M., Tao, J., Xu, X.: Enhancements of proof number search in Connect6. In: Control and Decision Conference, pp. 4525\u20134529. IEEE, Los Alamitos (2009)"}],"container-title":["Lecture Notes in Computer Science","Computers and Games"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17928-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:19:00Z","timestamp":1559953140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17928-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642179273","9783642179280"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17928-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}