Half-checking propagators DRAFT
The paper Half-checking propagators by Mikael Z. Lagerkvist and Magnus Rattfeldt is presented at the 19th workshop on Constraint Modelling and Reformulation at The 26th International Conference on Principles and Practice of Constraint Programming, CP2020.
This post summarizes the paper and gives some context on it. The paper is available on my research page. You can also watch the presentation given at the workshop if you are interested.