Ein lexikographischer Suchalgorithmus zur ganzzahligen Programmierung: L E X S.