• DOI:10.1023/A:1018941030227
Corpus ID: 15244028

Constraints and universal algebra

@article{Jeavons2004ConstraintsAU,
  title={Constraints and universal algebra},
  author={Peter Jeavons and D. Cohen and Justin Pearson},
  journal={Annals of Mathematics and Artificial Intelligence},
  year={2004},
  volume={24},
  pages={51-67}
}

Peter Jeavons, D. Cohen, Justin Pearson

Published 2004

Mathematics, Computer Science

Annals of Mathematics and Artificial Intelligence

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

View on Springer

wikidata.org

Save to Library

Create Alert

Cite

Launch Research Feed