@inproceedings{SolsFormaGroup, title = "Efficiently Solving Problems where the Solutions Form a Group", author = "Karen Petrie with Chris Jefferson", year = "2008", journal = "In Proc. CP 2008", pages = "529-533", publisher = "Springer", series = "LNCS 5702", url = "http://www.springerlink.com/content/j727024720947621/?p=ef62f9beccf74986b131fa62813910f3&pi=22", }