A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints

Thierry Petit, Nicolas Beldiceanu, Xavier Lorca. A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 643-648, IJCAI/AAAI, 2011. [doi]

@inproceedings{PetitBL11,
  title = {A Generalized Arc-Consistency Algorithm for a Class of Counting Constraints},
  author = {Thierry Petit and Nicolas Beldiceanu and Xavier Lorca},
  year = {2011},
  url = {http://ijcai.org/papers11/Papers/IJCAI11-114.pdf},
  tags = {constraints, consistency},
  researchr = {https://researchr.org/publication/PetitBL11},
  cites = {0},
  citedby = {0},
  pages = {643-648},
  booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011},
  editor = {Toby Walsh},
  publisher = {IJCAI/AAAI},
  isbn = {978-1-57735-516-8},
}