Extended Formulations via Decision Diagrams. - Yuta Kurokawa; Ryotaro Mitsuboshi; Haruki Hamasaki; Kohei Hatano; Eiji Takimoto; Holakou Rahmanian (COCOON (2), 2023)