Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications