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