This work is licensed under a Creative Commons Attribution 4.0 International License.
[meseguer2001exploiting]
Exploiting symmetries within constraint satisfaction search
Artificial intelligence 129(1),
2001
This work is licensed under a Creative Commons Attribution 4.0 International License.