@article{Å ofranacGleixnerPokutta2022, author = {Boro Å ofranac and Ambros Gleixner and Sebastian Pokutta}, title = {An Algorithm-independent Measure of Progress for Linear Constraint Propagation}, journal = {Constraints}, volume = {27}, pages = {432 -- 455}, doi = {10.1007/s10601-022-09338-9}, year = {2022}, }