David A. Cohen, Christopher Jefferson, Karen E. Petrie. A Theoretical Framework for Constraint Propagator Triggering. In Jorge A. Baier, Adi Botea, editors, Proceedings of the Ninth Annual Symposium on Combinatorial Search, SOCS 2016, Tarrytown, NY, USA, July 6-8, 2016. pages 19-27, AAAI Press, 2016. [doi]
Abstract is missing.