https://9dok.net/document/zx562dln-compression-of-matrices-with-multi-terminal-decision-diagrams.html