Generalized support and formal development of constraint propagators

James L. Caldwell, Ian P. Gent, Peter Nightingale. Generalized support and formal development of constraint propagators. AI Commun., 30(5):325-346, 2017. [doi]

@article{CaldwellGN17,
  title = {Generalized support and formal development of constraint propagators},
  author = {James L. Caldwell and Ian P. Gent and Peter Nightingale},
  year = {2017},
  doi = {10.3233/AIC-170740},
  url = {https://doi.org/10.3233/AIC-170740},
  researchr = {https://researchr.org/publication/CaldwellGN17},
  cites = {0},
  citedby = {0},
  journal = {AI Commun.},
  volume = {30},
  number = {5},
  pages = {325-346},
}