{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T07:10:24Z","timestamp":1742800224667},"publisher-location":"Berlin, Heidelberg","reference-count":31,"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_2","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T01:16:26Z","timestamp":1296090986000},"page":"11-22","source":"Crossref","is-referenced-by-count":32,"title":["Job-Level Proof-Number Search for Connect6"],"prefix":"10.1007","author":[{"given":"I-Chen","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hung-Hsuan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ping-Hung","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Der-Johng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi-Chih","family":"Chan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo-Ting","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Allis, L.V.: Searching for solutions in games and artificial intelligence, Ph.D. Thesis, University of Limburg, Maastricht, The Netherlands (1994)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1111\/j.1467-8640.1996.tb00250.x","volume":"12","author":"L.V. Allis","year":"1996","unstructured":"Allis, L.V., van den Herik, H.J., Huntjens, M.P.H.: Go-Moku Solved by New Search Techniques. Computational Intelligence\u00a012, 7\u201323 (1996)","journal-title":"Computational Intelligence"},{"issue":"1","key":"2_CR3","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\u2013124 (1994)","journal-title":"Artificial Intelligence"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/GRID.2004.14","volume-title":"Proceedings of the Fifth IEEE\/ACM International Workshop on Grid Computing (GRID 2004)","author":"D.P. Anderson","year":"2004","unstructured":"Anderson, D.P.: Bonic: A system for public-resource computing and storage. In: Proceedings of the Fifth IEEE\/ACM International Workshop on Grid Computing (GRID 2004), pp. 4\u201310. IEEE CS Press, Pittsburgh (2004)"},{"key":"2_CR5","unstructured":"Breuker, D.M., Uiterwijk, J., van den Herik, H.J.: The PN2-search algorithm. In: van den Herik, H.J., Monien, B. (eds.) Advances in Computer Games 9, IKAT, Universiteit Maastricht, Maastricht, The Netherlands, pp. 115\u2013132 (2001)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-87608-3_6","volume-title":"Computers and Games","author":"G.M.J.-B. Chaslot","year":"2008","unstructured":"Chaslot, G.M.J.-B., Winands, M.H.M., van den Herik, H.J.: Parallel Monte-Carlo Tree Search. In: van den Herik, H.J., Xu, X., Ma, Z., Winands, M.H.M. (eds.) CG 2008. LNCS, vol.\u00a05131, pp. 60\u201371. Springer, Heidelberg (2008)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1109\/CCGRID.2001.923246","volume-title":"Proceedings of the 1st IEEE\/ACM International Symposium on Cluster Computing and the Grid (CCGRID 2001): Workshop on Global Computing on Personal Devices","author":"G. Fedak","year":"2001","unstructured":"Fedak, G., Germain, C., Neri, V., Cappello, F.: Xtremweb: A generic global computing system. In: Proceedings of the 1st IEEE\/ACM International Symposium on Cluster Computing and the Grid (CCGRID 2001): Workshop on Global Computing on Personal Devices, pp. 582\u2013587. IEEE CS Press, Brisbane (2001)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"van den Herik, H.J., Winands, M.H.M.: Proof-Number Search and its Variants. In: Oppositional Concepts in Computational Intelligence, pp. 91\u2013118 (2008)","DOI":"10.1007\/978-3-540-70829-2_6"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(01)00152-7","volume":"134","author":"H.J. Herik van den","year":"2002","unstructured":"van den Herik, H.J., Uiterwijk, J.W.H.M., Rijswijck, J.V.: Games solved: Now and in the future. Artificial Intelligence\u00a0134, 277\u2013311 (2002)","journal-title":"Artificial Intelligence"},{"key":"2_CR10","unstructured":"Kishimoto, A., Kotani, Y.: Parallel AND\/OR tree search based on proof and disproof numbers. In: 5th Games Programming Workshop. IPSJ Symposium Series, vol.\u00a099(14), pp. 24\u201330 (1999)"},{"key":"2_CR11","unstructured":"Kishimoto, A., M\u00fcller, M.: Search versus Knowledge for Solving Life and Death Problems in Go. In: Twentieth National Conference on Artificial Intelligence (AAAI 2005), pp. 1374\u20131379 (2005)"},{"issue":"4","key":"2_CR12","doi-asserted-by":"publisher","first-page":"230","DOI":"10.3233\/ICG-2009-32407","volume":"32","author":"P.-H. Lin","year":"2009","unstructured":"Lin, P.-H., Wu, I.-C.: NCTU6 Wins Man-Machine Connect6 Championship 2009. ICGA Journal\u00a032(4), 230\u2013232 (2009)","journal-title":"ICGA Journal"},{"key":"2_CR13","unstructured":"Manohararajah, V.: Parallel alpha-beta search on shared memory multiprocessors. Master\u2019s thesis, Graduate Department of Electrical and Computer Engineering, University of Toronto, Canada (2001)"},{"key":"2_CR14","unstructured":"Nagai, A.: Df-pn Algorithm for Searching AND\/OR Trees and Its Applications. PhD thesis, University of Tokyo, Japan (2002)"},{"key":"2_CR15","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)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-50517-2_79","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"V.N. Rao","year":"1988","unstructured":"Rao, V.N., Kumar, V.: Superlinear Speedup in State-space Search. In: Kumar, S., Nori, K.V. (eds.) FSTTCS 1988. LNCS, vol.\u00a0338, pp. 161\u2013174. Springer, Heidelberg (1988)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-642-12993-3_8","volume-title":"Advances in Computer Games","author":"J.-T. Saito","year":"2010","unstructured":"Saito, J.-T., Winands, M.H.M., van den Herik, H.J.: Randomized Parallel Proof-Number Search. In: van den Herik, H.J., Spronck, P. (eds.) ACG 2009. LNCS, vol.\u00a06048, pp. 75\u201387. Springer, Heidelberg (2010)"},{"issue":"317","key":"2_CR18","doi-asserted-by":"publisher","first-page":"1518","DOI":"10.1126\/science.1144079","volume":"5844","author":"J. Schaeffer","year":"2007","unstructured":"Schaeffer, J., Burch, N., Bj\u00f6rnsson, Y., Kishimoto, A., M\u00fcller, M., Lake, R., Lu, P., Sutphen, S.: Checkers is solved. Science\u00a05844(317), 1518\u20131552 (2007)","journal-title":"Science"},{"issue":"1-2","key":"2_CR19","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.: The PN*-search algorithm: Application to Tsumeshogi. Artificial Intelligence\u00a0129(1-2), 253\u2013277 (2001)","journal-title":"Artificial Intelligence"},{"key":"2_CR20","unstructured":"SETI@home Project, \n                  \n                    http:\/\/setiathome.ssl.berkeley.edu"},{"key":"2_CR21","unstructured":"Taiwan Connect6 Association, Connect6 homepage, \n                  \n                    http:\/\/www.connect6.org\/"},{"issue":"4","key":"2_CR22","doi-asserted-by":"crossref","first-page":"203","DOI":"10.3233\/ICG-2000-23402","volume":"23","author":"T. Thomsen","year":"2000","unstructured":"Thomsen, T.: Lambda-search in game trees - with application to Go. ICGA Journal\u00a023(4), 203\u2013217 (2000)","journal-title":"ICGA Journal"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-40031-8_5","volume-title":"Computers and Games","author":"M.H.M. Winands","year":"2003","unstructured":"Winands, M.H.M., Uiterwijk, J.W.H.M., van den Herik, H.J.: PDS-PN: A New Proof-Number Search Algorithm. In: Schaeffer, J., M\u00fcller, M., Bj\u00f6rnsson, Y. (eds.) CG 2002. LNCS, vol.\u00a02883, pp. 61\u201374. Springer, Heidelberg (2003)"},{"key":"2_CR24","unstructured":"Wu, I-C., Hsu, S.-C., Yen, S.-J., Lin, S.-S., Kao, K.-Y., Chen, J.-C., Huang, K.-C., Chang, H.-Y., Chung, Y.-C.: A Volunteer Computing System for Computer Games and its Applications, an integrated project proposal submitted to National Science Council, Taiwan (2010)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Wu, I.-C., Chen, C.-P., Lin, P.-H., Huang, K.-C., Chen, L.-P., Sun, D.-J., Chan, Y.-C., Tsou, H.-Y.: A Volunteer-Computing-Based Grid Environment for Connect6 Applications. In: The 12th IEEE International Conference on Computational Science and Engineering (CSE 2009), Vancouver, Canada, August 29-31 (2009)","DOI":"10.1109\/CSE.2009.412"},{"issue":"4","key":"2_CR26","first-page":"240","volume":"31","author":"I.-C. Wu","year":"2008","unstructured":"Wu, I.-C., Lin, P.-H.: NCTU6-Lite Wins Connect6 Tournament. ICGA Journal\u00a031(4), 240\u2013243 (2008)","journal-title":"ICGA Journal"},{"key":"2_CR27","unstructured":"Wu, I.-C., Lin, P.-H.: Relevance-Zone-Oriented Proof Search for Connect6. The IEEE Transactions on Computational Intelligence and AI in Games (to appear, 2010)"},{"issue":"4","key":"2_CR28","first-page":"234","volume":"28","author":"I.-C. Wu","year":"2006","unstructured":"Wu, I.-C., Huang, D.-Y., Chang, H.-C.: Connect6. ICGA Journal\u00a028(4), 234\u2013242 (2006)","journal-title":"ICGA Journal"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/11922155_14","volume-title":"Advances in Computer Games","author":"I.-C. Wu","year":"2006","unstructured":"Wu, I.-C., Huang, D.-Y.: A New Family of k-in-a-Row Games. In: van den Herik, H.J., Hsu, S.-C., Hsu, T.-s., Donkers, H.H.L.M(J.) (eds.) CG 2005. LNCS, vol.\u00a04250, pp. 180\u2013194. Springer, Heidelberg (2006)"},{"issue":"3","key":"2_CR30","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3233\/ICG-2006-29310","volume":"29","author":"I.-C. Wu","year":"2006","unstructured":"Wu, I.-C., Yen, S.-J.: NCTU6 Wins Connect6 Tournament. ICGA Journal\u00a029(3), 157\u2013158 (2006)","journal-title":"ICGA Journal"},{"key":"2_CR31","unstructured":"Wu, I.-C., et al.: Benchmark for Connect6, \n                  \n                    http:\/\/www.connect6.org\/articles\/JL-PNS\/"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,24]],"date-time":"2019-03-24T00:41:28Z","timestamp":1553388088000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17928-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642179273","9783642179280"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17928-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}