Implémentation d'un solveur SAT

La figure 4-1 présente le tableau de transport de Sporcau tel qu'illustré à la page 360 du livre. C1. C2 ... le problème de Sporcau à l'aide du solveur d' EXCEL.


Un extrait du document