A Reactive Strategy for High-Level Consistency During Search

Robert J. Woodward, Berthe Y. Choueiry, Christian Bessière. A Reactive Strategy for High-Level Consistency During Search. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2018, Stockholm, Sweden. 27th International Joint Conference on

HAL Archives-Ouvertes, 17 Oct 2018

Robert J. Woodward, Berthe Y. Choueiry, Christian Bessière. A Reactive Strategy for High-Level Consistency During Search.