Forward checking and intelligent backtracking
scientific article; zbMATH DE number 4128394