A new branch-and-filter exact algorithm for binary constraint satisfaction problems
scientific article; zbMATH DE number 7479751
scientific article