{"id":"https://openalex.org/W4398172483","doi":"https://doi.org/10.1109/tg.2024.3403750","title":"Proof Number-Based Monte Carlo Tree Search","display_name":"Proof Number-Based Monte Carlo Tree Search","publication_year":2024,"publication_date":"2024-05-21","ids":{"openalex":"https://openalex.org/W4398172483","doi":"https://doi.org/10.1109/tg.2024.3403750"},"language":"en","primary_location":{"id":"doi:10.1109/tg.2024.3403750","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tg.2024.3403750","pdf_url":null,"source":{"id":"https://openalex.org/S4210224842","display_name":"IEEE Transactions on Games","issn_l":"2475-1502","issn":["2475-1502","2475-1510"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Games","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://cris.maastrichtuniversity.nl/en/publications/bd289f2a-4dea-434f-99bf-edc5e17cd858","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079875589","display_name":"Jakub Kowalski","orcid":"https://orcid.org/0000-0003-1932-4278"},"institutions":[{"id":"https://openalex.org/I219388962","display_name":"University of Wroc\u0142aw","ror":"https://ror.org/00yae6e25","country_code":"PL","type":"education","lineage":["https://openalex.org/I219388962"]},{"id":"https://openalex.org/I4210137484","display_name":"Wroclaw University of Health and Sport Sciences","ror":"https://ror.org/03gn3ta84","country_code":"PL","type":"education","lineage":["https://openalex.org/I4210137484"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Jakub Kowalski","raw_affiliation_strings":["Faculty of Mathematics, Computer Science, University of Wrocław, Wrocław, Poland","Faculty of Mathematics and Computer Science, University of Wroc\u0142aw, Poland"],"raw_orcid":"https://orcid.org/0000-0003-1932-4278","affiliations":[{"raw_affiliation_string":"Faculty of Mathematics, Computer Science, University of Wrocław, Wrocław, Poland","institution_ids":["https://openalex.org/I4210137484"]},{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, University of Wroc\u0142aw, Poland","institution_ids":["https://openalex.org/I219388962"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044381971","display_name":"Elliot Doe","orcid":null},"institutions":[{"id":"https://openalex.org/I34352273","display_name":"Maastricht University","ror":"https://ror.org/02jz4aj89","country_code":"NL","type":"education","lineage":["https://openalex.org/I34352273"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Elliot Doe","raw_affiliation_strings":["Department of Advanced Computing Sciences, Maastricht University, Maastricht, The Netherlands","Department of Advanced Computing Sciences, Maastricht University, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Advanced Computing Sciences, Maastricht University, Maastricht, The Netherlands","institution_ids":["https://openalex.org/I34352273"]},{"raw_affiliation_string":"Department of Advanced Computing Sciences, Maastricht University, The Netherlands","institution_ids":["https://openalex.org/I34352273"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013661099","display_name":"Mark H. M. Winands","orcid":"https://orcid.org/0000-0002-0125-0824"},"institutions":[{"id":"https://openalex.org/I34352273","display_name":"Maastricht University","ror":"https://ror.org/02jz4aj89","country_code":"NL","type":"education","lineage":["https://openalex.org/I34352273"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mark H. M. Winands","raw_affiliation_strings":["Department of Advanced Computing Sciences, Maastricht University, Maastricht, The Netherlands","Department of Advanced Computing Sciences, Maastricht University, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-0125-0824","affiliations":[{"raw_affiliation_string":"Department of Advanced Computing Sciences, Maastricht University, Maastricht, The Netherlands","institution_ids":["https://openalex.org/I34352273"]},{"raw_affiliation_string":"Department of Advanced Computing Sciences, Maastricht University, The Netherlands","institution_ids":["https://openalex.org/I34352273"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002586459","display_name":"Daniel Gorski","orcid":null},"institutions":[{"id":"https://openalex.org/I219388962","display_name":"University of Wroc\u0142aw","ror":"https://ror.org/00yae6e25","country_code":"PL","type":"education","lineage":["https://openalex.org/I219388962"]},{"id":"https://openalex.org/I4210137484","display_name":"Wroclaw University of Health and Sport Sciences","ror":"https://ror.org/03gn3ta84","country_code":"PL","type":"education","lineage":["https://openalex.org/I4210137484"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Daniel G\u00f3rski","raw_affiliation_strings":["Faculty of Mathematics, Computer Science, University of Wrocław, Wrocław, Poland","Faculty of Mathematics and Computer Science, University of Wroc\u0142aw, Poland"],"raw_orcid":"https://orcid.org/0009-0004-0941-512X","affiliations":[{"raw_affiliation_string":"Faculty of Mathematics, Computer Science, University of Wrocław, Wrocław, Poland","institution_ids":["https://openalex.org/I4210137484"]},{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, University of Wroc\u0142aw, Poland","institution_ids":["https://openalex.org/I219388962"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049574317","display_name":"Dennis J. N. J. Soemers","orcid":"https://orcid.org/0000-0003-3241-8957"},"institutions":[{"id":"https://openalex.org/I34352273","display_name":"Maastricht University","ror":"https://ror.org/02jz4aj89","country_code":"NL","type":"education","lineage":["https://openalex.org/I34352273"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Dennis J. N. J. Soemers","raw_affiliation_strings":["Department of Advanced Computing Sciences, Maastricht University, Maastricht, The Netherlands","Department of Advanced Computing Sciences, Maastricht University, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-3241-8957","affiliations":[{"raw_affiliation_string":"Department of Advanced Computing Sciences, Maastricht University, Maastricht, The Netherlands","institution_ids":["https://openalex.org/I34352273"]},{"raw_affiliation_string":"Department of Advanced Computing Sciences, Maastricht University, The Netherlands","institution_ids":["https://openalex.org/I34352273"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06404515,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"1","first_page":"148","last_page":"157"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9818999767303467,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9818999767303467,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12205","display_name":"Time Series Analysis and Forecasting","score":0.9538999795913696,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.944599986076355,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/monte-carlo-method","display_name":"Monte Carlo method","score":0.6422199606895447},{"id":"https://openalex.org/keywords/monte-carlo-tree-search","display_name":"Monte Carlo tree search","score":0.5906065106391907},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5162834525108337},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4168376922607422},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.31091195344924927},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.27604782581329346},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.15447834134101868}],"concepts":[{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.6422199606895447},{"id":"https://openalex.org/C46149586","wikidata":"https://www.wikidata.org/wiki/Q11785332","display_name":"Monte Carlo tree search","level":3,"score":0.5906065106391907},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5162834525108337},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4168376922607422},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31091195344924927},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.27604782581329346},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.15447834134101868}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tg.2024.3403750","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tg.2024.3403750","pdf_url":null,"source":{"id":"https://openalex.org/S4210224842","display_name":"IEEE Transactions on Games","issn_l":"2475-1502","issn":["2475-1502","2475-1510"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Games","raw_type":"journal-article"},{"id":"pmh:oai:cris.maastrichtuniversity.nl:openaire/bd289f2a-4dea-434f-99bf-edc5e17cd858","is_oa":true,"landing_page_url":"https://cris.maastrichtuniversity.nl/en/publications/bd289f2a-4dea-434f-99bf-edc5e17cd858","pdf_url":null,"source":{"id":"https://openalex.org/S4306402616","display_name":"Research Publications (Maastricht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I34352273","host_organization_name":"Maastricht University","host_organization_lineage":["https://openalex.org/I34352273"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kowalski, J, Doe, E, Winands, M H M, G\u00f3rski, D & Soemers, D J N J 2025, 'Proof Number-Based Monte Carlo Tree Search', IEEE Transactions on Games, vol. 17, no. 1, 10535724, pp. 148-157. https://doi.org/10.1109/TG.2024.3403750","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:cris.maastrichtuniversity.nl:openaire/bd289f2a-4dea-434f-99bf-edc5e17cd858","is_oa":true,"landing_page_url":"https://cris.maastrichtuniversity.nl/en/publications/bd289f2a-4dea-434f-99bf-edc5e17cd858","pdf_url":null,"source":{"id":"https://openalex.org/S4306402616","display_name":"Research Publications (Maastricht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I34352273","host_organization_name":"Maastricht University","host_organization_lineage":["https://openalex.org/I34352273"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kowalski, J, Doe, E, Winands, M H M, G\u00f3rski, D & Soemers, D J N J 2025, 'Proof Number-Based Monte Carlo Tree Search', IEEE Transactions on Games, vol. 17, no. 1, 10535724, pp. 148-157. https://doi.org/10.1109/TG.2024.3403750","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322650","display_name":"Narodowym Centrum Nauki","ror":"https://ror.org/03ha2q922"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,29],"new":[4,97],"game-search":[5],"algorithm,":[6],"PN-MCTS,":[7],"which":[8],"combines":[9],"Monte-Carlo":[10],"Tree":[11],"Search":[12,16],"(MCTS)":[13],"and":[14,45,60,85,91],"Proof-Number":[15],"(PNS).":[17],"These":[18],"two":[19],"algorithms":[20],"have":[21],"been":[22],"successfully":[23],"applied":[24],"for":[25,141],"decision":[26],"making":[27],"in":[28,49,130],"range":[30],"of":[31,82,112,116,143],"domains.":[32],"We":[33,65],"define":[34],"three":[35],"areas":[36],"where":[37],"the":[38,43,61,117],"additional":[39,110],"knowledge":[40],"provided":[41],"by":[42,107],"proof":[44],"disproof":[46],"numbers":[47],"gathered":[48],"MCTS":[50,118,129],"trees":[51],"might":[52],"be":[53],"used:":[54],"final":[55],"move":[56],"selection,":[57],"solving":[58],"subtrees,":[59],"UCB1":[62],"selection":[63],"mechanism.":[64],"test":[66],"all":[67,131],"possible":[68],"combinations":[69],"on":[70,78,114],"different":[71],"time":[72],"settings,":[73],"playing":[74],"against":[75],"vanilla":[76],"UCT":[77],"several":[79],"games:":[80],"Lines":[81,142],"Action":[83],"(7\u00d77":[84],"8\u00d78":[86],"board":[87],"sizes),":[88],"MiniShogi,":[89],"Knightthrough,":[90],"Awari.":[92],"Furthermore,":[93],"we":[94],"extend":[95],"this":[96],"algorithm":[98],"to":[99,127,139],"properly":[100],"address":[101],"games":[102],"with":[103],"draws,":[104],"like":[105],"Awari,":[106],"adding":[108],"an":[109],"layer":[111],"PNS":[113],"top":[115],"tree.":[119],"The":[120],"experiments":[121],"show":[122],"that":[123],"PN-MCTS":[124],"is":[125],"able":[126],"outperform":[128],"tested":[132],"game":[133],"domains,":[134],"achieving":[135],"win":[136],"rates":[137],"up":[138],"96.2%":[140],"Action.":[144]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}