Tractable Symmetry Breaking Using Restricted Search Trees Colva M. Roney-Dougal , Ian P. Gent, Tom Kelsey, Steve Linton. Presented by: Shant Karakashian Symmetries in CP, Sprint 2010. Outline. Symmetry breaking approaches Group equivalence tree (GE-tree) Importance of GE-trees
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Presented by: ShantKarakashian
Symmetries in CP, Sprint 2010
(A1 = a)g = (A1 = b), (A2 = a)g = (A2 = c)
(can be different for the same level thus supports dynamic variable ordering)