A new branch-and-filter exact algorithm for binary constraint satisfaction problems

Pablo San Segundo, Fabio Furini, Rafael León. A new branch-and-filter exact algorithm for binary constraint satisfaction problems. European Journal of Operational Research, 299(2):448-467, 2022. [doi]

Abstract

Abstract is missing.