@inproceedings{woodward:ijcai18,
  author    = {Robert J. Woodward and Berthe Y. Choueiry and Christian Bessiere},
  title     = {{A Reactive Strategy for High-Level Consistency During Search}},
  booktitle = {{Proceedings of the 27th International Joint Conference on Artificial Intelligence}},
  addrress  = {Stockholm, Sweden},
  pages     = {1390--1397},
  year      = {2018},
}