An Algorithm-Independent Measure of Progress for Linear Constraint Propagation.

Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta

Browse the full CP paper archive.