@misc{indiciae3b7b5fab8a07,
  title = {Efficient Encodings of Conditional Cardinality Constraints},
  author = {Abdelhamid Boudane and Said Jabbour and Badran Raddaoui and Lakhdar Sais},
  year = {2018},
  url = {https://arxiv.org/abs/1804.00211},
  note = {Source identifier: 1804.00211}
}