[smith2004models]
Models and symmetry breaking for ‘peaceable armies of queens’
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 271--286,
2004