Variable ordering for ordered binary decision diagrams by a divide-and-conquer approach

Yeh, F.-M.F.-M.YehSY-YEN KUO2020-06-112020-06-111997https://scholars.lib.ntu.edu.tw/handle/123456789/500863[SDGs]SDG16Variable ordering for ordered binary decision diagrams by a divide-and-conquer approachjournal article10.1049/ip-cdt:199713702-s2.0-0031237553https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031237553&doi=10.1049%2fip-cdt%3a19971370&partnerID=40&md5=7054b89d6d7e0d741d201ea2a65b9f2a