Combining Symmetry Breaking with Other Constraints: Lexicographic Ordering with Sums.

Brahim Hnich, Zeynep Kiziltan, Toby Walsh

Browse the full ISAIM paper archive.