A constraint-based local search backend for MiniZinc
scientific article; zbMATH DE number 6506227
scientific article