Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? | IEEE Conference Publication | IEEE Xplore