A Dynamic Expansion Order Algorithm for the SAT-based Minimization. - Chia-Chun Lin; Kit Seng Tam; Chana-Cheng Ko; Hsin-Ping Yen; Shenz-Hsiu Wei; Yung-Chih Chen; Chun-Yao Wang (SoCC, 2020)