A mixed closure-CSP method for solving scheduling problems
scientific article; zbMATH DE number 2145994