Exploiting Many-Valued Variables in MaxSAT | IEEE Conference Publication | IEEE Xplore