Constraint models for the covering test problem
scientific article; zbMATH DE number 5070686