Branching with hyperplanes in the criterion space: the frontier partitioner algorithm for biobjective integer programming
We present an algorithm for finding the complete Pareto frontier of biobjective integer programming problems. The method is based on the solution of a finite number of integer programs, each of them returning a Pareto optimal point. The feasible sets of the integer programs are built from the original feasible set, by adding cuts that separate efficient solutions.