New filtering for \textsc{AtMostNValue} and its weighted variant: a Lagrangian approach
scientific article; zbMATH DE number 6506229