TY - RPRT TI - Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques AU - Fabio Gadducci AU - Francesco Santini PY - 2021 UR - https://arxiv.org/abs/2103.06741 ID - 2103.06741 ER -