Abdelhamid Boudane Saïd Jabbour Badran Raddaoui Lakhdar Sais Efficient SAT-Based Encodings of Conditional Cardinality Constraints. 181-195 2018 LPAR https://doi.org/10.29007/kfjb conf/lpar/2018 db/conf/lpar/lpar2018.html#BoudaneJRS18