References
Download bibtex
[meseguer2001exploiting] Pedro Meseguer and Carme Torras Exploiting symmetries within constraint satisfaction search Artificial intelligence 129(1), 133--163, 2001