Using Constraint Propagation to Bound Linear Programs. - Dlask, Tomáš; Werner, Tomáš (Journal of Artificial Intelligence Research, 2024)