New Insights into Encodings from MaxCSP into Partial MaxSAT | IEEE Conference Publication | IEEE Xplore