Hybrid backtracking bounded by tree-decomposition of constraint networks
scientific article; zbMATH DE number 5003877
scientific article