Saïd Jabbour, Lakhdar Sais, Yakoub Salhi. A Pigeon-Hole Based Encoding of Cardinality Constraints. TPLP, 13(4-5-Online-Supplement), 2013. [doi]
@article{JabbourSS13-0,
title = {A Pigeon-Hole Based Encoding of Cardinality Constraints},
author = {Saïd Jabbour and Lakhdar Sais and Yakoub Salhi},
year = {2013},
url = {http://journals.cambridge.org/downloadsup.php?file=/tlp2013026.pdf},
researchr = {https://researchr.org/publication/JabbourSS13-0},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {13},
number = {4-5-Online-Supplement},
}