An Algorithm-Independent Measure of Progress for Linear Constraint Propagation

Konferenzbeitrag › Konferenzpaper › 2021

Zitation

Sofranac, Boro; Gleixner, Ambros; Pokutta, Sebastian: An Algorithm-Independent Measure of Progress for Linear Constraint Propagation. In: 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). Hg. von Laurent D. Michel. Dagstuhl: 2021( 210), S. 52:1-52:17.

ISSN

1868-8969

ISBN

978-3-95977-211-2

Link

https://doi.org/10.4230/LIPIcs.CP.2021.52

Sprache

Englisch

Zitieren

BibTeX / RIS