@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 27$^{~th}$ International Joint Conference on Artificial Intelligence},
  addrress  = {Stockholm, Sweden},
  pages     = {1390--1397},
  year      = {2018},
}