@misc{indiciae2c3f48d467b4,
  title = {A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints: Revised Edition that Incorporates One Correction},
  author = {Thierry Petit and Nicolas Beldiceanu and Xavier Lorca},
  year = {2011},
  url = {https://arxiv.org/abs/1110.4719},
  note = {Source identifier: 1110.4719}
}