Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. - Soukaina Hattad; Saïd Jabbour; Lakhdar Sais; Yakoub Salhi (ICAART (2), 2017)