Succinct Representation of Linear Extensions via MDDs and Its Application to Scheduling Under Precedence Constraints. - Fumito Miyake; Eiji Takimoto; Kohei Hatano (IWOCA, 2019)