Corrigendum to "Min-domain retroactive ordering for asynchronous backtracking"

Younes Mechqrane, Mohamed Wahbi, Christian Bessiere, El Houssine Bouyakhf, Amnon Meisels, Roie Zivan

Research output: Contribution to journalArticlepeer-review


The asynchronous backtracking algorithm with dynamic ordering (ABT-DO), proposed in Zivan and Meisels (Constraints 11(2-3):179-197, 2006), allows changing the order of agents during distributed asynchronous complete search. In a later study (Zivan et al., Constraints 14(2):177-198, 2009), retroactive heuristics which allowed more flexibility in the selection of new orders were introduced, resulting in the ABT-DO-Retro algorithm, and a relation between the success of heuristics and the min-domain property was identified. Unfortunately, the description of the time-stampping protocol used to compare orders in ABT-DO-Retro in Zivan et al. (Constraints 14(2):177-198, 2009) is confusing and may lead to an implementation in which ABT-DO-Retro may not terminate. In this corrigendum, we demonstrate the possible undesired outcome and give a detailed and formal description of the correct method for comparing time-stamps in ABT-DO-Retro.

Original languageAmerican English
Pages (from-to)348-355
Number of pages8
Issue number3
StatePublished - 1 Jul 2012

All Science Journal Classification (ASJC) codes

  • Software
  • Discrete Mathematics and Combinatorics
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'Corrigendum to "Min-domain retroactive ordering for asynchronous backtracking"'. Together they form a unique fingerprint.

Cite this