//-->
On the system of two all_different predicates
Appa, G., (2005)
A Branch & Cut algorithm for a four-index assignment problem
Appa, G., (2004)
An LP-based proof for the non-existence of a pair of orthogonal Latin squares of order 6