Problème de la couverture irredondante

Le problème de la couverture irredondante est apparu vers 1950 en électronique numérique. C'est l'origine d'une technique de calcul booléen, facilement adaptable à d'autres optimisations combinatoires s'exprimant en termes de graphes bi-partis ou d'hypergraphe…