Succinct representation of linear extensions via MDDs and its application to scheduling under precedence constraints

From MaRDI portal
Publication:2301756