• Design of a branch-and-cut algorithm for the linear ordering
problem including two new separation routines.
Both methods are based on the following concept. One combines
known valid inequalities, for example 3-dicycle inequalities, such that
in the resulting inequality all coefficients of the left hand side are
divisible by k and the right hand side is not. There are two variants of
this construction: