The Difference All-Difference Makes

  title={The Difference All-Difference Makes},
  author={Kostas Stergiou and Toby Walsh},
We perform a comprehensive theoretical and experimental analysis of the use of all-different constraints. We prove that generalized arc-consistency on such constraints lies between neighborhood inverse consistency and, under a simple restriction, path inverse consistency on the binary representation of the problem. By generalizing the arguments of Kondrak and van Beek, we prove that a search algorithm that maintains generalized arc-consistency on all-different constraints dominates a search… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS


Publications citing this paper.

52 Citations

Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-3 of 3 references

On the conversion between non-binary and binary constraint satisfaction problems

  • Bacchus, van Beek, 1998 F. Bacchus, P. van Beek
  • In Proc. ofAAAl-98,
  • 1998

Search in a small world Collective dynamics of ' small - world ' networks

  • M Stickel
  • Nature
  • 1994

Similar Papers

Loading similar papers…