A branch-and-cut approach to the crossing number problem
scientific article; zbMATH DE number 5358797
scientific article