{"id":"https://openalex.org/W4412009858","doi":"https://doi.org/10.1007/s11704-025-50231-4","title":"SAT requires exhaustive search","display_name":"SAT requires exhaustive search","publication_year":2025,"publication_date":"2025-07-04","ids":{"openalex":"https://openalex.org/W4412009858","doi":"https://doi.org/10.1007/s11704-025-50231-4"},"language":"en","primary_location":{"id":"doi:10.1007/s11704-025-50231-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11704-025-50231-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11704-025-50231-4.pdf","source":{"id":"https://openalex.org/S4210231404","display_name":"Frontiers of Computer Science","issn_l":"2095-2228","issn":["2095-2228","2095-2236"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311889","host_organization_name":"Higher Education Press","host_organization_lineage":["https://openalex.org/P4310311889"],"host_organization_lineage_names":["Higher Education Press"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11704-025-50231-4.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100665809","display_name":"Ke Xu","orcid":"https://orcid.org/0000-0001-8669-3909"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ke Xu","raw_affiliation_strings":["State Key Laboratory of Complex and Critical Software Environment, Beihang University, Beijing, 100191, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Complex and Critical Software Environment, Beihang University, Beijing, 100191, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102947791","display_name":"Guangyan Zhou","orcid":"https://orcid.org/0000-0001-7290-5579"},"institutions":[{"id":"https://openalex.org/I179026463","display_name":"Beijing Technology and Business University","ror":"https://ror.org/013e0zm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I179026463"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guangyan Zhou","raw_affiliation_strings":["Department of Mathematics and Statistics, Beijing Technology and Business University, Beijing, 100048, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, Beijing Technology and Business University, Beijing, 100048, China","institution_ids":["https://openalex.org/I179026463"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100665809"],"corresponding_institution_ids":["https://openalex.org/I82880672"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":{"value":2890,"currency":"USD","value_usd":2890},"fwci":0.6849,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.7229515,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"19","issue":"12","first_page":null,"last_page":null},"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/T11106","display_name":"Data Management and Algorithms","score":0.9966999888420105,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9911999702453613,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8859859108924866}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8859859108924866}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11704-025-50231-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11704-025-50231-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11704-025-50231-4.pdf","source":{"id":"https://openalex.org/S4210231404","display_name":"Frontiers of Computer Science","issn_l":"2095-2228","issn":["2095-2228","2095-2236"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311889","host_organization_name":"Higher Education Press","host_organization_lineage":["https://openalex.org/P4310311889"],"host_organization_lineage_names":["Higher Education Press"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s11704-025-50231-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11704-025-50231-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11704-025-50231-4.pdf","source":{"id":"https://openalex.org/S4210231404","display_name":"Frontiers of Computer Science","issn_l":"2095-2228","issn":["2095-2228","2095-2236"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311889","host_organization_name":"Higher Education Press","host_organization_lineage":["https://openalex.org/P4310311889"],"host_organization_lineage_names":["Higher Education Press"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers of Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412009858.pdf","grobid_xml":"https://content.openalex.org/works/W4412009858.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W562761389","https://openalex.org/W1487714129","https://openalex.org/W1576180980","https://openalex.org/W1597020313","https://openalex.org/W1990734013","https://openalex.org/W2030163620","https://openalex.org/W2030218034","https://openalex.org/W2038777942","https://openalex.org/W2071636004","https://openalex.org/W2080208670","https://openalex.org/W2085826829","https://openalex.org/W2126160338","https://openalex.org/W2139300273","https://openalex.org/W2321167683","https://openalex.org/W2322595442","https://openalex.org/W2531563875","https://openalex.org/W2752908210","https://openalex.org/W2776934400","https://openalex.org/W2911293880","https://openalex.org/W2913233993","https://openalex.org/W2914304175","https://openalex.org/W3098063118","https://openalex.org/W4214684742","https://openalex.org/W4256369010"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"this":[2],"paper,":[3],"we":[4,23],"identify":[5],"the":[6,15,26,144,172,178],"distinction":[7,180],"between":[8,146,156,181],"non-brute-force":[9,37,147],"computation":[10,13,148,151],"and":[11,149,158,176,183],"brute-force":[12,150],"as":[14,75,106,169],"most":[16],"fundamental":[17],"problem":[18],"in":[19,61,84,96],"computer":[20],"science.":[21],"Subsequently,":[22],"prove,":[24],"by":[25,36],"diagonalization":[27],"method,":[28],"that":[29,78,89,127,155],"constructed":[30],"self-referential":[31,125],"CSPs":[32],"cannot":[33],"be":[34,109],"solved":[35],"computation,":[38],"which":[39],"is":[40,53,82,93],"stronger":[41],"than":[42,154],"P":[43,157],"\u2260":[44],"NP.":[45,159],"This":[46],"constructive":[47],"method":[48],"for":[49,70,102,124],"proving":[50,71,79,90,99],"impossibility":[51],"results":[52,87,162],"very":[54],"different":[55],"(and":[56],"missing)":[57],"from":[58],"existing":[59],"approaches":[60],"computational":[62,91],"complexity":[63],"theory,":[64],"but":[65],"aligns":[66],"with":[67],"G\u00f6del\u2019s":[68,166],"technique":[69],"logical":[72],"impossibility.":[73],"Just":[74],"G\u00f6del":[76],"showed":[77],"formal":[80],"unprovability":[81],"feasible":[83],"mathematics,":[85],"our":[86,161],"show":[88],"hardness":[92],"not":[94],"hard":[95],"mathematics.":[97],"Specifically,":[98],"lower":[100],"bounds":[101],"many":[103],"problems,":[104],"such":[105],"3-SAT,":[107],"can":[108],"challenging":[110],"because":[111],"these":[112],"problems":[113],"have":[114],"various":[115],"effective":[116],"strategies":[117],"available":[118],"to":[119,139,165],"avoid":[120],"exhaustive":[121,131],"search.":[122],"However,":[123],"examples":[126],"are":[128,163],"extremely":[129],"hard,":[130],"search":[132],"becomes":[133],"unavoidable,":[134],"making":[135],"its":[136],"necessity":[137],"easier":[138],"prove.":[140],"Consequently,":[141],"it":[142],"renders":[143],"separation":[145],"much":[152],"simpler":[153],"Finally,":[160],"akin":[164],"incompleteness":[167],"theorem,":[168],"they":[170],"reveal":[171],"limits":[173],"of":[174],"reasoning":[175],"highlight":[177],"intrinsic":[179],"syntax":[182],"semantics.":[184]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}