Discovering the Impact of Group Structure on 3-SAT

James McQuillan, Craig Damon. Discovering the Impact of Group Structure on 3-SAT. In Hamid R. Arabnia, Mark Murgin, editors, Proceedings of the 2006 International Conference on Foundations of Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006. pages 163-168, CSREA Press, 2006.