Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
scientific article; zbMATH DE number 6524434
scientific article