Couvre le théorème de Doignon en programmation entière, indiquant qu'un ensemble est minimalement irréalisable si la suppression de toute contrainte le rend réalisable.
Compare sign-and-magnitude avec les représentations entières complémentaires de deux, en mettant l'accent sur les différences de complexité et en répondant aux défis de débordement et de sous-flux.