@inproceedings{7ae9740eeb954fb4a5cf8acd11db6367,
title = "Internal Symmetry",
keywords = "Conf.proc. > 3 pag",
author = "MJH Heule and T Walsh",
year = "2010",
language = "English",
publisher = "Springer",
pages = "19--33",
editor = "P Flener and J Pearson",
booktitle = "The 10th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'10)",
note = "10th International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'10) ; Conference date: 06-09-2010 Through 06-09-2010",
}