Lightweight Detection of Variable Symmetries for Constraint Satisfaction.

Christophe Lecoutre, Sbastien Tabary

Browse the full ICTAI paper archive.