Mixed discrete optimization of multiple-valued systems | IEEE Conference Publication | IEEE Xplore