Reformulation of Global Constraints Based on Constraints Checkers

Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit. Reformulation of Global Constraints Based on Constraints Checkers. Constraints, 10(4):339-362, 2005. [doi]

@article{BeldiceanuCDP05,
  title = {Reformulation of Global Constraints Based on Constraints Checkers},
  author = {Nicolas Beldiceanu and Mats Carlsson and Romuald Debruyne and Thierry Petit},
  year = {2005},
  doi = {10.1007/s10601-005-2809-x},
  url = {http://dx.doi.org/10.1007/s10601-005-2809-x},
  tags = {rule-based, constraints},
  researchr = {https://researchr.org/publication/BeldiceanuCDP05},
  cites = {0},
  citedby = {0},
  journal = {Constraints},
  volume = {10},
  number = {4},
  pages = {339-362},
}