Dynamic Algorithm Selection for SMT | IEEE Conference Publication | IEEE Xplore