Download bibtex

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

[prestwich2001balanced]
SD Prestwich
Balanced incomplete block design as satisfiability
Proceedings of the 12th Irish Conference on Artificial Intelligence and Cognitive Science, 2001

[colbourn1996crc]
Charles J Colbourn
CRC handbook of combinatorial designs
CRC press
1996