Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints.

Soukaina Hattad, Sad Jabbour, Lakhdar Sais, Yakoub Salhi

Browse the full ICAART paper archive.