A Dynamic Expansion Order Algorithm for the SAT-based Minimization | IEEE Conference Publication | IEEE Xplore