Encoding partial constraint satisfaction in the semiring-based framework for soft constraints | IEEE Conference Publication | IEEE Xplore