@inproceedings{SofranacGleixnerPokutta2021, author = {Boro Sofranac and Ambros Gleixner and Sebastian Pokutta}, title = {An Algorithm-Independent Measure of Progress for Linear Constraint Propagation}, booktitle = {27th International Conference on Principles and Practice of Constraint Programming (CP 2021)}, volume = {210}, pages = {52:1 -- 52:17}, doi = {10.4230/LIPIcs.CP.2021.52}, year = {2021}, note = {epub ahead of print} }