An algorithm-independent measure of progress for linear constraint propagation
Artikel › Journalartikel
› 2022
Zitation
Artikel
Sofranac, Boro; Gleixner, Ambros; Pokutta, Sebastian: An algorithm-independent measure of progress for linear constraint propagation. In: Constraints 27. (2022), S. 432-455.