Exakte Verfahren für das Ressourcennivellierungsproblem