New computer-based search strategies for extreme functions of the Gomory–Johnson infinite group problem

摘要

We describe new computer-based search strategies for extreme functions for the Gomory–Johnson infinite group problem. They lead to the discovery of new extreme functions, whose existence settles several open questions.