Abstract
We describe a new partial symmetry breaking method that can be used to break arbitrary variable/value symmetries in combination with depth first search, static value ordering and dynamic variable ordering. The main novelty of the method is a new dominance detection technique based on local search in the symmetry group. It has very low time and memory requirements, yet in preliminary experiments on BIBD design it breaks most symmetries and is competitive with several other methods
Original language | English |
---|---|
Title of host publication | Proceedings of the 19th Irish Conference on Artificial Intelligence and Cognitive Science (AICS 2008) Aug. 27, 2008, Cork, Ireland |
Pages | 153-162 |
Publication status | Published - 2008 |
Event | 19th Irish Conference on Artificial Intelligence and Cognitive Science (AICS 2008) Aug. 27, 2008, Cork, Ireland - Duration: 27 Aug 2008 → 27 Aug 2008 |
Conference
Conference | 19th Irish Conference on Artificial Intelligence and Cognitive Science (AICS 2008) Aug. 27, 2008, Cork, Ireland |
---|---|
Period | 27/08/08 → 27/08/08 |