Download bibtex

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