Approximately propagation complete and conflict propagating constraint encodings

From MaRDI portal
Publication:1656556