{"id":"https://openalex.org/W2056295005","doi":"https://doi.org/10.1142/s0218001402002143","title":"DISTRIBUTED PROBLEM SOLVING WITHOUT COMMUNICATION \u2014 AN EXAMINATION OF COMPUTATIONALLY HARD SATISFIABILITY PROBLEMS","display_name":"DISTRIBUTED PROBLEM SOLVING WITHOUT COMMUNICATION \u2014 AN EXAMINATION OF COMPUTATIONALLY HARD SATISFIABILITY PROBLEMS","publication_year":2002,"publication_date":"2002-12-01","ids":{"openalex":"https://openalex.org/W2056295005","doi":"https://doi.org/10.1142/s0218001402002143","mag":"2056295005"},"language":"en","primary_location":{"id":"doi:10.1142/s0218001402002143","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218001402002143","pdf_url":null,"source":{"id":"https://openalex.org/S41486457","display_name":"International Journal of Pattern Recognition and Artificial Intelligence","issn_l":"0218-0014","issn":["0218-0014","1793-6381"],"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 Pattern Recognition and Artificial Intelligence","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/A5062375227","display_name":"Jiming Liu","orcid":"https://orcid.org/0000-0002-8669-9064"},"institutions":[{"id":"https://openalex.org/I141568987","display_name":"Hong Kong Baptist University","ror":"https://ror.org/0145fw131","country_code":"HK","type":"education","lineage":["https://openalex.org/I141568987"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"JIMING LIU","raw_affiliation_strings":["Department of Computer Science,  Hong Kong Baptist University, Kowloon Tong, Hong Kong, China","Department of Computer Science, Hong Kong Baptist University, Kowloon Tong, Hong Kong (China)"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science,  Hong Kong Baptist University, Kowloon Tong, Hong Kong, China","institution_ids":["https://openalex.org/I141568987"]},{"raw_affiliation_string":"Department of Computer Science, Hong Kong Baptist University, Kowloon Tong, Hong Kong (China)","institution_ids":["https://openalex.org/I141568987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021976455","display_name":"Xiaolong Jin","orcid":"https://orcid.org/0000-0002-2880-9421"},"institutions":[{"id":"https://openalex.org/I141568987","display_name":"Hong Kong Baptist University","ror":"https://ror.org/0145fw131","country_code":"HK","type":"education","lineage":["https://openalex.org/I141568987"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"XIAOLONG JIN","raw_affiliation_strings":["Department of Computer Science,  Hong Kong Baptist University, Kowloon Tong, Hong Kong, China","Department of Computer Science, Hong Kong Baptist University, Kowloon Tong, Hong Kong (China)"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science,  Hong Kong Baptist University, Kowloon Tong, Hong Kong, China","institution_ids":["https://openalex.org/I141568987"]},{"raw_affiliation_string":"Department of Computer Science, Hong Kong Baptist University, Kowloon Tong, Hong Kong (China)","institution_ids":["https://openalex.org/I141568987"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100835889","display_name":"Jing Han","orcid":null},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"JING HAN","raw_affiliation_strings":["Department of Computer Science,  University of Science and Technology of China, Hefei, China","Department of Computer Science, University of Science and Technology of China, Hefei, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science,  University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]},{"raw_affiliation_string":"Department of Computer Science, University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5062375227"],"corresponding_institution_ids":["https://openalex.org/I141568987"],"apc_list":null,"apc_paid":null,"fwci":0.2309,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56026481,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"08","first_page":"1041","last_page":"1064"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9997000098228455,"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.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.992900013923645,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7564383745193481},{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.7364473938941956},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6667407155036926},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6405719518661499},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.5690319538116455},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5672402381896973},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5660194754600525},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.47406405210494995},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4195401966571808},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37945789098739624},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3233884572982788},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30852460861206055},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.15021145343780518}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7564383745193481},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.7364473938941956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6667407155036926},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6405719518661499},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5690319538116455},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5672402381896973},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5660194754600525},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.47406405210494995},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4195401966571808},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37945789098739624},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3233884572982788},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30852460861206055},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.15021145343780518},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0218001402002143","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218001402002143","pdf_url":null,"source":{"id":"https://openalex.org/S41486457","display_name":"International Journal of Pattern Recognition and Artificial Intelligence","issn_l":"0218-0014","issn":["0218-0014","1793-6381"],"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 Pattern Recognition and Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.10.3362","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.3362","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.comp.hkbu.edu.hk/~aoc/papers/SAT/IJPRAI-LJH-02.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W127040706","https://openalex.org/W139325465","https://openalex.org/W1490762762","https://openalex.org/W1531992391","https://openalex.org/W1558501738","https://openalex.org/W1629051378","https://openalex.org/W2006502807","https://openalex.org/W2025399946","https://openalex.org/W2095801987","https://openalex.org/W2105000794","https://openalex.org/W2106440199","https://openalex.org/W2125930982","https://openalex.org/W2138425376","https://openalex.org/W2156708389","https://openalex.org/W2165372647","https://openalex.org/W2501832441","https://openalex.org/W2592442085"],"related_works":["https://openalex.org/W2579594741","https://openalex.org/W2597100317","https://openalex.org/W4301780301","https://openalex.org/W4321012653","https://openalex.org/W2003979824","https://openalex.org/W2019305010","https://openalex.org/W2586122929","https://openalex.org/W2014641227","https://openalex.org/W3209871473","https://openalex.org/W4286894913"],"abstract_inverted_index":{"In":[0,71,166],"this":[1,185],"paper,":[2],"we":[3,79],"extend":[4],"and":[5,36,54,62,86,108],"modify":[6],"the":[7,56,66,76,99,121,151,202],"ERA":[8,22,77,122,152],"approach":[9,23,153,186,194],"proposed":[10],"in":[11,101,176],"Ref.":[12],"13":[13],"to":[14,65,98,129,206],"solve":[15,207],"Propositional":[16],"Satisfiability":[17],"Problems":[18],"(SATs).":[19],"The":[20,45,140,181],"new":[21],"involves":[24],"a":[25,49,73,102,178,191],"multiagent":[26],"system":[27,123],"where":[28,201],"each":[29,88,112],"agent":[30,93,113],"only":[31,177],"senses":[32],"its":[33,43,117],"local":[34,57],"environment":[35],"applies":[37],"some":[38,144],"self-organizing":[39],"rules":[40],"for":[41,163,173],"governing":[42],"movements.":[44],"environment,":[46,52],"which":[47],"is":[48,187,190],"two-dimensional":[50],"cellular":[51],"records":[53],"updates":[55],"values":[58],"that":[59,150,188],"are":[60],"computed":[61],"affected":[63],"according":[64],"movements":[67,132],"of":[68,105,116,184],"individual":[69],"agents.":[70],"solving":[72],"SAT":[74,146,164,174],"with":[75,91],"approach,":[78],"first":[80],"divide":[81],"variables":[82],"into":[83],"several":[84],"groups,":[85],"represent":[87],"variable":[89,106],"group":[90],"an":[92,134],"whose":[94],"possible":[95,118],"positions":[96],"correspond":[97],"elements":[100],"Cartesian":[103],"product":[104],"domains,":[107],"then":[109],"randomly":[110],"place":[111],"onto":[114],"one":[115],"positions.":[119],"Thereafter,":[120],"will":[124],"keep":[125],"on":[126,143],"dispatching":[127],"agents":[128,203],"choose":[130],"their":[131],"until":[133],"exact":[135],"or":[136,199],"approximate":[137,171],"solution":[138],"emerges.":[139],"experimental":[141],"results":[142,157],"benchmark":[145],"test-sets":[147],"have":[148],"shown":[149],"can":[154,169,204],"obtain":[155],"comparable":[156],"as":[158,160],"well":[159],"stable":[161],"performances":[162],"problems.":[165],"particular,":[167],"it":[168,189],"find":[170],"solutions":[172],"problems":[175,208],"few":[179],"steps.":[180],"real":[182],"value":[183],"distributed":[192],"asynchronous":[193],"without":[195,209],"any":[196],"centralized":[197],"control":[198],"evaluation,":[200],"cooperate":[205],"explicit":[210],"communication.":[211]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}