1.3k citations · 1.3k across the 4 of their papers we have counts for
1 paper · 1 filter
Kohei Shinohara, Atsuto Seko, Takashi Horiyama +1
The advanced data structure of the zero-suppressed binary decision diagram (ZDD) enables us to efficiently enumerate nonequivalent substitutional structures. Not only can the ZDD s…