A. Sourour-elloumi, A. Lambert, and . Lazare, Solving unconstrained 0-1 polynomial programs through quadratic convex reformulation, 2018.

R. Fortet, L'algèbre de Boole et ses Applications en Recherche Opérationnelle. Cahiers du Centre d, Etudes de Recherche Opérationnelle, vol.4, pp.5-36, 1959.