A Machine to Evaluate Decomposed Multi-Terminal Multi-Valued Decision Diagrams for Characteristic Functions | IEEE Conference Publication | IEEE Xplore