An algorithm-independent measure of progress for linear constraint propagation

Boro Sofranac, Ambros M. Gleixner, Sebastian Pokutta. An algorithm-independent measure of progress for linear constraint propagation. Constraints, 27(4):432-455, 2022. [doi]

Abstract

Abstract is missing.