@inproceedings{bd2cebb6594b4b7e91faa43d6ff253e0,

title = "CompAPO: A complete version of the APO Algorithm",

abstract = "Asynchronous Partial Overlay (APO) is a search algorithm that uses cooperative mediation to solve Distributed Constraint Satisfaction Problems (DisCSPs). The algorithm partitions the search into different subproblems of the DisCSP. The proof of completeness of the APO algorithm is based on the growth of the size of the subproblems. We have discovered that this expected growth of groups does not occur in some situations, leading to a termination problem of the algorithm. The present paper identifies the problematic parts in the algorithm that interfere with its completeness. Some necessary modifications are given to the algorithm to fix these problematic parts. The resulting version of the algorithm, Complete Asynchronous Partial Overlay (CompAPO), ensures its completeness. Formal proofs for the soundness and completeness of CompAPO are given.",

author = "Tal Grinshpoun and Amnon Meisels",

year = "2007",

doi = "10.1109/iat.2007.14",

language = "אנגלית",

isbn = "0769530273",

series = "Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2007",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "370--376",

booktitle = "Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2007",

address = "ארצות הברית",

note = "IEEE Computer Society Technical Committee on Intelligent Informatics(TCII) ; Conference date: 02-11-2007 Through 05-11-2007",

}