Contraint-based combinators for local search
scientific article; zbMATH DE number 5070680