AAAI Publications, Twenty-Second International Joint Conference on Artificial Intelligence

Font Size: 
Symmetry Breaking Via LexLeader Feasibility Checkers
Justin Yip, Pascal Van Hentenryck

Last modified: 2011-06-28


This paper considers matrix models, a class of CSPs which generally exhibit significant symmetries. It proposed the idea of LexLeader feasibility checkers that verify, during search, whether the current partial assignment can be extended into a canonical solution. The feasibility checkers are based on a novel result by [Katsirelos et al., 2010] on how to check efficiently whether a solution is canonical. The paper generalizes this result to partial assignments, various variable orderings, and value symmetries. Empirical results on 5 standard benchmarks shows that feasibility checkers may bring significant performance gains, when jointly used with DoubleLex or SnakeLex.

Full Text: PDF