Constructing extremal triangle-free graphs using integer programming. - Ali Erdem Banak; Tínaz Ekim; Z. Caner Taskin (Discret. Optim., 2023)