{"id":"https://openalex.org/W2001830324","doi":"https://doi.org/10.1109/tciaig.2012.2224659","title":"Job-Level Proof Number Search","display_name":"Job-Level Proof Number Search","publication_year":2012,"publication_date":"2012-10-12","ids":{"openalex":"https://openalex.org/W2001830324","doi":"https://doi.org/10.1109/tciaig.2012.2224659","mag":"2001830324"},"language":"en","primary_location":{"id":"doi:10.1109/tciaig.2012.2224659","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tciaig.2012.2224659","pdf_url":null,"source":{"id":"https://openalex.org/S4210179349","display_name":"IEEE Transactions on Computational Intelligence and AI in Games","issn_l":"1943-068X","issn":["1943-068X","1943-0698"],"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 Computational Intelligence and AI in Games","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016730899","display_name":"I\u2010Chen Wu","orcid":"https://orcid.org/0000-0003-2535-0587"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"I-Chen Wu","raw_affiliation_strings":["Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101387506","display_name":"Hung\u2010Hsuan Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Hung-Hsuan Lin","raw_affiliation_strings":["Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068530696","display_name":"Der-Johng Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Der-Johng Sun","raw_affiliation_strings":["Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058620704","display_name":"Kuo-Yuan Kao","orcid":null},"institutions":[{"id":"https://openalex.org/I32078218","display_name":"National Penghu University of Science and Technology","ror":"https://ror.org/03fxxpd92","country_code":"TW","type":"education","lineage":["https://openalex.org/I32078218"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Kuo-Yuan Kao","raw_affiliation_strings":["Department of Information Management, National Penghu University, Penghu, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Management, National Penghu University, Penghu, Taiwan","institution_ids":["https://openalex.org/I32078218"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000004780","display_name":"Ping-Hung Lin","orcid":null},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]},{"id":"https://openalex.org/I4210148468","display_name":"Industrial Technology Research Institute","ror":"https://ror.org/05szzwt63","country_code":"TW","type":"nonprofit","lineage":["https://openalex.org/I4210148468"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Ping-Hung Lin","raw_affiliation_strings":["Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan","Information and Communications Research Laboratories, Industrial Technology Research Institute, Hsinchu, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]},{"raw_affiliation_string":"Information and Communications Research Laboratories, Industrial Technology Research Institute, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I4210148468"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055262552","display_name":"Yi-Chih Chan","orcid":"https://orcid.org/0000-0001-5974-3085"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yi-Chih Chan","raw_affiliation_strings":["Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113183972","display_name":"Po-Ting Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Po-Ting Chen","raw_affiliation_strings":["Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, National Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.2193,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.95244338,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"5","issue":"1","first_page":"44","last_page":"56"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11574","display_name":"Artificial Intelligence in Games","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11197","display_name":"Digital Games and Media","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10731","display_name":"Educational Games and Gamification","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7821120023727417},{"id":"https://openalex.org/keywords/flagging","display_name":"Flagging","score":0.7739599943161011},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.7304819822311401},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.640392541885376},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5107050538063049},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.4983808994293213},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3740973472595215},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3691118657588959},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21045315265655518},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1802140176296234},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1090478003025055}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7821120023727417},{"id":"https://openalex.org/C2777548347","wikidata":"https://www.wikidata.org/wiki/Q5456937","display_name":"Flagging","level":2,"score":0.7739599943161011},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.7304819822311401},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.640392541885376},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5107050538063049},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.4983808994293213},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3740973472595215},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3691118657588959},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21045315265655518},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1802140176296234},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1090478003025055},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tciaig.2012.2224659","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tciaig.2012.2224659","pdf_url":null,"source":{"id":"https://openalex.org/S4210179349","display_name":"IEEE Transactions on Computational Intelligence and AI in Games","issn_l":"1943-068X","issn":["1943-068X","1943-0698"],"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 Computational Intelligence and AI in Games","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.6399999856948853,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322214","display_name":"Industrial Technology Research Institute","ror":"https://ror.org/05szzwt63"},{"id":"https://openalex.org/F4320323900","display_name":"National Taiwan University","ror":"https://ror.org/05bqach95"},{"id":"https://openalex.org/F4320337380","display_name":"Division of Mathematical Sciences","ror":"https://ror.org/051fftw81"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W818368736","https://openalex.org/W855558263","https://openalex.org/W1421584467","https://openalex.org/W1512315140","https://openalex.org/W1523716396","https://openalex.org/W1532432082","https://openalex.org/W1567614956","https://openalex.org/W1573483709","https://openalex.org/W1625390266","https://openalex.org/W1782902006","https://openalex.org/W1821960358","https://openalex.org/W1839172275","https://openalex.org/W1988972046","https://openalex.org/W1990386132","https://openalex.org/W1994685255","https://openalex.org/W1995987707","https://openalex.org/W1997840820","https://openalex.org/W2013702324","https://openalex.org/W2061653391","https://openalex.org/W2119772483","https://openalex.org/W2123081947","https://openalex.org/W2126316555","https://openalex.org/W2136128582","https://openalex.org/W2138522162","https://openalex.org/W2142863519","https://openalex.org/W2149516936","https://openalex.org/W2343769869","https://openalex.org/W2590609064","https://openalex.org/W2785338113","https://openalex.org/W2807428271","https://openalex.org/W2915357721","https://openalex.org/W3094497466","https://openalex.org/W3145094436","https://openalex.org/W4285719527","https://openalex.org/W6623088749","https://openalex.org/W6623553191","https://openalex.org/W6631892603","https://openalex.org/W6634471212","https://openalex.org/W6638081052","https://openalex.org/W6638744727","https://openalex.org/W6647751968","https://openalex.org/W6704844201","https://openalex.org/W6734093640","https://openalex.org/W6752022558","https://openalex.org/W6807425462"],"related_works":["https://openalex.org/W2807886874","https://openalex.org/W2946613364","https://openalex.org/W1697346018","https://openalex.org/W2113326855","https://openalex.org/W611259847","https://openalex.org/W2354785495","https://openalex.org/W642986199","https://openalex.org/W2320858910","https://openalex.org/W3038926424","https://openalex.org/W49929510"],"abstract_inverted_index":{"This":[0,84],"paper":[1,85],"introduces":[2],"an":[3,23],"approach,":[4],"called":[5],"generic":[6,62],"job-level":[7,54,63],"search,":[8],"to":[9,28,38,74,94,115],"leverage":[10],"the":[11,113,117,125,129,136,143,148],"game-playing":[12],"programs":[13],"which":[14],"are":[15,36,154],"already":[16],"written":[17],"and":[18,50,71,98,124],"encapsulated":[19],"as":[20,102],"jobs.":[21],"Such":[22],"approach":[24],"is":[25],"well":[26],"suited":[27],"a":[29,53,59,88],"distributed":[30],"computing":[31],"environment,":[32],"since":[33],"these":[34,122,152],"jobs":[35],"allowed":[37],"be":[39],"run":[40],"by":[41],"remote":[42],"processors":[43],"independently.":[44],"In":[45,141],"this":[46],"paper,":[47],"we":[48],"present":[49],"focus":[51],"on":[52,156,158],"proof":[55],"number":[56],"search":[57,64,69],"(JL-PNS),":[58],"kind":[60],"of":[61,90,112],"for":[65,150],"solving":[66,75,151],"computer":[67],"game":[68],"problems,":[70],"apply":[72],"JL-PNS":[73],"automatically":[76],"several":[77],"Connect6":[78],"positions,":[79],"including":[80],"some":[81,99],"difficult":[82],"openings.":[83],"also":[86,145],"proposes":[87],"method":[89],"postponed":[91],"sibling":[92],"generation":[93],"generate":[95],"nodes":[96],"smoothly,":[97],"policies,":[100,123],"such":[101],"virtual":[103,105,107],"win,":[104],"loss,":[106],"equivalence,":[108],"flagging,":[109,134],"or":[110],"hybrids":[111],"above,":[114],"expand":[116],"nodes.":[118],"Our":[119],"experiment":[120],"compared":[121],"results":[126,144],"showed":[127,146],"that":[128,147],"virtual-equivalence":[130],"policy,":[131],"together":[132],"with":[133],"performed":[135],"best":[137],"against":[138],"other":[139],"policies.":[140],"addition,":[142],"speedups":[149],"positions":[153],"8.58":[155],"average":[157],"16":[159],"cores.":[160]},"counts_by_year":[{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}