Backjump-based backtracking for constraint satisfaction problems
scientific article; zbMATH DE number 1768253
scientific article