Cet article présente une approche structurée pour modéliser des contraintes logiques (expressions qui contiennent des propositions et des opérateurs logiques) dans un programme linéaire en utilisant des variables binaires. L'approche procède en trois étapes: (1) traduire les phrases en propositions logiques; (2) transformer ces propositions en clauses; et (3) créer une inéquation linéaire pour chaque clause. Un exemple détaillé décrivant l'utilisation de cette approche est donné.