Lightweight relevance filtering for machine-generated resolution problems
scientific article; zbMATH DE number 5532935
scientific article