Snake Lex: An Alternative to Double Lex. - Andrew Grayland; Ian Miguel; Colva M. Roney-Dougal (CP, 2009)

Confluence of Reduction Rules for Lexicographic Ordering Constraints. - Andrew Grayland; Ian Miguel; Colva M. Roney-Dougal (SARA, 2009)

In Search of a Better Method to Break Row and Column Symmetries. - Andrew Grayland; Ian Miguel; Colva M. Roney-Dougal (SARA, 2009)

Minimal ordering constraints for some families of variable symmetries. - Andrew Grayland; Christopher Jefferson; Ian Miguel; Colva M. Roney-Dougal (Ann. Math. Artif. Intell., 2009)