A Pigeon-Hole Based Encoding of Cardinality Constraints.

Sad Jabbour, Lakhdar Sas, Yakoub Salhi

Browse the full ISAIM paper archive.