Constraint programming and hybrid formulations for three life designs
scientific article; zbMATH DE number 2093643