Lightweight Detection of Variable Symmetries for Constraint Satisfaction

Christophe Lecoutre, Sébastien Tabary. Lightweight Detection of Variable Symmetries for Constraint Satisfaction. In ICTAI 2009, 21st IEEE International Conference on Tools with Artificial Intelligence, Newark, New Jersey, USA, 2-4 November 2009. pages 193-197, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.