Publications Login
Home List all
@inproceedings{,
	author          = {Marijn J.H. Heule and Toby Walsh},
	title           = {Internal Symmetry},
	booktitle       = {The 10th International Workshop on  Symmetry in Constraint Satisfaction Problems (SymCon'10)},
	year            = {2010},
	editor          = {Pierre Flener and Justin Pearson},
	pages           = {19-33},
	url             = {http://www.st.ewi.tudelft.nl/~marijn/publications/SymCon2010.pdf},
	project         = {SAT},
	group           = {ALG}
}