Usually, this is the finale of the basic course on answer set solving, featuring a section on pimping queens:

slides workspace

The workspace also contains the different encodings along with a paper discussing them

  • queens encodings 0 1 2 3

  • M. Gebser, R. Kaminski, B. Kaufmann, and T. Schaub (2011). “Challenges in Answer Set Solving”. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Ed. by M. Balduccini and T. Son. Vol. 6565. Lecture Notes in Computer Science. Springer-Verlag, pp. 74–90. pdf