Succesively decomposed networks and their application in discrete programming