A general framework for reordering agents asynchronously in distributed CSP

Research output: Chapter in Book/Report/Conference proceedingsChapterpeer-review

Abstract

Reordering agents during search is an essential component of the efficiency of solving a distributed constraint satisfaction problem. Termination values have been recently proposed as a way to simulate the min-domain dynamic variable ordering heuristic. The use of termination values allows the greatest flexibility in reordering agents dynamically while keeping polynomial space. In this paper, we propose a general framework based on termination values for reordering agents asynchronously. The termination values are generalized to represent various heuristics other than min-domain. Our general framework is sound, complete, terminates and has a polynomial space complexity. We implemented several variable ordering heuristics that are well-known in centralized CSPs but could not until now be applied to the distributed setting. Our empirical study shows the significance of our framework compared to state-of-the-art asynchronous dynamic ordering algorithms for solving distributed CSP.

Original languageEnglish
Title of host publicationPrinciples and Practice of Constraint Programming - 21st International Conference, CP 2015, Proceedings
EditorsGilles Pesant
PublisherSpringer Verlag
Pages463-479
Number of pages17
ISBN (Print)9783319232188
DOIs
Publication statusPublished - 2015
Externally publishedYes
Event21st International Conference on the Principles and Practice of Constraint Programming, CP 2015 - Cork, Ireland
Duration: 31 Aug 20154 Sep 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9255
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference21st International Conference on the Principles and Practice of Constraint Programming, CP 2015
Country/TerritoryIreland
CityCork
Period31/08/154/09/15

Fingerprint

Dive into the research topics of 'A general framework for reordering agents asynchronously in distributed CSP'. Together they form a unique fingerprint.

Cite this