Cohen, David, Christopher Jefferson, and Karen Petrie. 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.