Cohen, D., Jefferson, C. and Petrie, K. (2021) “A Theoretical Framework for Constraint Propagator Triggering”, Proceedings of the International Symposium on Combinatorial Search, 7(1), pp. 19–27. doi: 10.1609/socs.v7i1.18388.