Evaluation of static variable ordering heuristics for MDD construction [multi-valued decision diagrams] | IEEE Conference Publication | IEEE Xplore