A Reactive Strategy for High-Level Consistency During Search (IJCAI18)

Robert J. Woodward, Berthe Y. Choueiry, and Christian Bessiere, "A Reactive Strategy for High-Level Consistency During Search," in Proceedings of the 27th International Joint Conference on Artificial Intelligence, 2018, pp. 1390--1397. [PDF] [BIB] [Slides PPTX] [Slides PDF] [Poster PPTX] [Poster PDF]