Soft constraint abstraction based on semiring homomorphism
scientific article; zbMATH DE number 5344346