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 |

