Soft constraint abstraction based on semiring homomorphism

Open in new window