SMT Solving for Arithmetic Theories: Theory and Tool Support | IEEE Conference Publication | IEEE Xplore