A formalized optimum code search for q-ary trellis codes | IEEE Conference Publication | IEEE Xplore