An Algorithm-independent Measure of Progress for Linear Constraint Propagation
Author: | Boro Šofranac, Ambros GleixnerORCiD, Sebastian Pokutta |
---|---|
Document Type: | Article |
Parent Title (English): | Constraints |
Volume: | 27 |
First Page: | 432 |
Last Page: | 455 |
Year of first publication: | 2022 |
DOI: | https://doi.org/10.1007/s10601-022-09338-9 |