Enviar aquest missatge de text: Constraint solving over multi-valued logics :