@conference{SymmNectar, title = "Constraint Symmetry and Solution Symmetry", author = "Karen Petrie with David Cohen and Peter Jeavons and Chris Jefferson and Barbara Smith", year = "2006", journal = "In Proc. AAAI 2006", pages = "1589-1592", publisher = "AAAI Press", url = "http://www.aaai.org/Library/AAAI/2006/aaai06-257.php", }