Publications Login
Home List all
@inproceedings{,
	author          = {Marijn J.H. Heule and Toby Walsh},
	title           = {Symmetry within Solutions},
	booktitle       = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI '10)},
	publisher       = {AAAI Press},
	year            = {2010},
	pages           = {77-82},
	isbn            = {978-1-57735-463-5},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/AAAI10.pdf},
	project         = {SAT},
	group           = {ALG}
}