@inproceedings{,
	author          = {Bas Schaafsma and Marijn J.H. Heule and Hans van Maaren},
	title           = {Dynamic Symmetry Breaking by Simulating Zykov Contraction},
	booktitle       = {Theory and Applications of Satisfiability Testing -- SAT 2009},
	publisher       = {Springer},
	year            = {2009},
	editor          = {Oliver Kullmann},
	volume          = {5584},
	series          = {LNCS},
	pages           = {223-236},
	address         = {Berlin},
	isbn            = {978-3-642-02776-5},
	location        = {June 30 - July 3, 2009, Swansea},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/Zykov_SAT2009.pdf},
	project         = {SAT},
	group           = {ALG}
}