Analyse de la propriété d'incrémentalité du programme de branchement: Propriété inventée pour la résolution du problème GEN par un programme de branchement | Kaicus Deutschland