Automated generation of conjectures on forbidden subgraph characterization
scientific article; zbMATH DE number 6344082
scientific article