General properties and termination conditions for soft constraint propagation
scientific article; zbMATH DE number 1970909