Using Constraint Metaknowledge to Reduce Arc Consistency Computation

Christian Bessière, Eugene C. Freuder, Jean-Charles Régin. Using Constraint Metaknowledge to Reduce Arc Consistency Computation. Artificial Intelligence, 107(1):125-148, 1999. [doi]

@article{BessiereFR99,
  title = {Using Constraint Metaknowledge to Reduce Arc Consistency Computation},
  author = {Christian Bessière and Eugene C. Freuder and Jean-Charles Régin},
  year = {1999},
  doi = {10.1016/S0004-3702(98)00105-2},
  url = {http://dx.doi.org/10.1016/S0004-3702(98)00105-2},
  tags = {constraints, C++, consistency},
  researchr = {https://researchr.org/publication/BessiereFR99},
  cites = {0},
  citedby = {0},
  journal = {Artificial Intelligence},
  volume = {107},
  number = {1},
  pages = {125-148},
}