Weight constraint programs with evaluable functions
scientific article; zbMATH DE number 5969038
scientific article