TY - JOUR A1 - Ĺ ofranac, Boro A1 - Gleixner, Ambros A1 - Pokutta, Sebastian T1 - An Algorithm-independent Measure of Progress for Linear Constraint Propagation T2 - Constraints Y1 - 2022 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/8894 VL - 27 SP - 432 EP - 455 ER -