Minimization of pseudo-boolean functions by binary development

https://doi.org/10.1016/S0012-365X(74)80026-9Get rights and content
Under an Elsevier user license
open archive

Abstract

An iterative method for zero-one minimization of integer polynomials, linear in each variable, is outlined. It is based on Camion's method of binary developments with computations using multiplication and sum mod 2. The method is straightforward, does not require any branching or solving of intequalities, but, as with any Boolean method, may involve storage and retrieval problems. A general formula is derived which may serve as a basis for a more direct approach.

Cited by (0)