Towards Solving Many-Valued MaxSAT | IEEE Conference Publication | IEEE Xplore