Reformulation of global constraints based on constraints checkers
scientific article; zbMATH DE number 5070679
scientific article