Constraints and universal algebra

@article{Jeavons1998ConstraintsAU,
  title={Constraints and universal algebra},
  author={Peter Jeavons and David A. Cohen and Justin Pearson},
  journal={Annals of Mathematics and Artificial Intelligence},
  year={1998},
  volume={24},
  pages={51-67}
}
In this paper we explore the links between constraint satisfaction problems and universal algebra. We show that a constraint satisfaction problem instance can be viewed as a pair of relational structures, and the solutions to the problem are then the structure preserving mappings between these two relational structures. We give a number of examples to illustrate how this framework can be used to express a wide variety of combinatorial problems, many of which are not generally considered as… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS