Connecting ABT with Arc Consistency

@inproceedings{Brito2008ConnectingAW,
  title={Connecting ABT with Arc Consistency},
  author={Ismel Brito and Pedro Meseguer},
  booktitle={CP},
  year={2008}
}
ABT is the reference algorithm for asynchronous distributed constraint satisfaction. When searching, ABT produces nogoods as justifications of deleted values. When one of such nogoods has an empty left-hand side, the considered value is eliminated unconditionally, once and for all. This value deletion can be propagated using standard arc consistency techniques, producing new deletions in the domains of other variables. This causes substantial reductions in the search effort required to solve a… CONTINUE READING

Similar Papers

Loading similar papers…