On implementing symmetry detection

Research output: Contribution to journal › Article › Research › peer-review

Cite this

@article{d0847a90deba4a849fd0656e6de83541,

title = "On implementing symmetry detection",

author = "Mears, {Christopher David} and {Garcia De La Banda}, {Maria Jose} and Mark Wallace",

year = "2009",

language = "English",

volume = "14",

pages = "443 -- 477",

journal = "Constraints",

issn = "1383-7133",

publisher = "Springer-Verlag London Ltd.",

number = "4",

}