Text this: Využitie dekompozičných techník v matematickom programovaní