{"id":"https://openalex.org/W2158646537","doi":"https://doi.org/10.1142/s012905411000774x","title":"PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS","display_name":"PHASE TRANSITIONS OF EXPSPACE-COMPLETE PROBLEMS","publication_year":2010,"publication_date":"2010-11-24","ids":{"openalex":"https://openalex.org/W2158646537","doi":"https://doi.org/10.1142/s012905411000774x","mag":"2158646537"},"language":"en","primary_location":{"id":"doi:10.1142/s012905411000774x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s012905411000774x","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","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/A5102969600","display_name":"Junping Zhou","orcid":"https://orcid.org/0000-0002-7258-9366"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"JUNPING ZHOU","raw_affiliation_strings":["Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, QianJin Street, Changchun, 130012, China","School of Computer Science and Technology, Jilin University, QianJin Street, Changchun, 130012, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, QianJin Street, Changchun, 130012, China","institution_ids":["https://openalex.org/I194450716"]},{"raw_affiliation_string":"School of Computer Science and Technology, Jilin University, QianJin Street, Changchun, 130012, China","institution_ids":["https://openalex.org/I194450716"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113798330","display_name":"Ping Huang","orcid":"https://orcid.org/0009-0008-6385-6902"},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"PING HUANG","raw_affiliation_strings":["School of Computer Science, Northeast Normal University, Renmin Street, Changchun, 130117, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, Northeast Normal University, Renmin Street, Changchun, 130117, China","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023555343","display_name":"Minghao Yin","orcid":"https://orcid.org/0000-0002-6226-2394"},"institutions":[{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"MINGHAO YIN","raw_affiliation_strings":["School of Computer Science, Northeast Normal University, Renmin Street, Changchun, 130117, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, Northeast Normal University, Renmin Street, Changchun, 130117, China","institution_ids":["https://openalex.org/I184983240"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079746101","display_name":"Chunguang Zhou","orcid":"https://orcid.org/0000-0002-5269-2526"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"CHUNGUANG ZHOU","raw_affiliation_strings":["School of Computer Science and Technology, Jilin University, QianJin Street, Changchun, 130012, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Jilin University, QianJin Street, Changchun, 130012, China","institution_ids":["https://openalex.org/I194450716"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5023555343","https://openalex.org/A5079746101"],"corresponding_institution_ids":["https://openalex.org/I184983240","https://openalex.org/I194450716"],"apc_list":null,"apc_paid":null,"fwci":2.4929,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.90214409,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"21","issue":"06","first_page":"1073","last_page":"1088"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9995999932289124,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9995999932289124,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9993000030517578,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/plan","display_name":"Plan (archaeology)","score":0.7174149751663208},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5584551692008972},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4694124162197113},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4631675183773041},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4247947931289673},{"id":"https://openalex.org/keywords/phase","display_name":"Phase (matter)","score":0.41282832622528076},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4018230438232422},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3407563865184784},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.06646370887756348}],"concepts":[{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.7174149751663208},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5584551692008972},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4694124162197113},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4631675183773041},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4247947931289673},{"id":"https://openalex.org/C44280652","wikidata":"https://www.wikidata.org/wiki/Q104837","display_name":"Phase (matter)","level":2,"score":0.41282832622528076},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4018230438232422},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3407563865184784},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.06646370887756348},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s012905411000774x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s012905411000774x","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.8100000023841858,"id":"https://metadata.un.org/sdg/11"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1559492868","https://openalex.org/W1650993530","https://openalex.org/W2000931246","https://openalex.org/W2024857797","https://openalex.org/W2072963858","https://openalex.org/W2075335084","https://openalex.org/W2096041053","https://openalex.org/W2121898615","https://openalex.org/W2139300273","https://openalex.org/W2161414194","https://openalex.org/W2752885492","https://openalex.org/W2804968020","https://openalex.org/W3101355526"],"related_works":["https://openalex.org/W2012531322","https://openalex.org/W2785900585","https://openalex.org/W2353730437","https://openalex.org/W2490303674","https://openalex.org/W2609066826","https://openalex.org/W2810752900","https://openalex.org/W2365677836","https://openalex.org/W2531295127","https://openalex.org/W3186538219","https://openalex.org/W2072180474"],"abstract_inverted_index":{"This":[0],"paper":[1],"explores":[2],"the":[3,7,14,33,36,39,44,51,54,62,71,79,82,90,99,108,122,135],"phase":[4,40,114],"transitions":[5,115],"of":[6,35,43,53,81,107],"EXPSPACE-complete":[8],"problems,":[9],"which":[10],"mainly":[11],"focus":[12],"on":[13],"conformant":[15,22,45,72,100,123,136],"planning":[16,23,46,73,101,124,137],"problems.":[17],"The":[18,105],"research":[19],"presents":[20],"two":[21,37],"algorithms\u2014CONFORMANT":[24],"PLAN-NONEXISTENCE":[25,64],"algorithm":[26,65,93],"and":[27],"CONFORMANT":[28,63,91],"PLAN-EXISTENCE":[29,92],"algorithm.":[30],"By":[31],"analyzing":[32],"features":[34],"algorithms,":[38],"transition":[41],"area":[42],"problems":[47],"is":[48],"obtained.":[49],"If":[50,78],"number":[52,80],"operators":[55,83],"isn't":[56,84],"greater":[57],"than":[58,86],"\u03b8":[59,87],"ub":[60],",":[61,89],"can":[66,94],"prove":[67,95],"that":[68,96,111],"nearly":[69,97],"all":[70,98,121,134],"instances":[74,102,125,138],"have":[75,103,126,139],"no":[76,127],"solution.":[77],"lower":[85],"lb":[88],"solutions.":[104,140],"results":[106],"experiments":[109],"show":[110],"there":[112],"exist":[113],"from":[116],"a":[117,130],"region":[118,131],"where":[119,132],"almost":[120,133],"solution":[128],"to":[129]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}