An enhancement scheme for constraint satisfaction problems (CSPs)
scientific article; zbMATH DE number 723866