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