Realizing 4-input Functions with the Minimum Toffoli Gate Count. - Shigeru Yamashita; Takashi Horiyama; Norihito Yasuda; Tatsuya Nakao (ISMVL, 2025)