On the Solution of Boolean and Pseudo-Boolean Relations
George J. Klir · IEEE Transactions on Computers · 1974
This correspondence deals with collections of n binary relations between Boolean and/or pseudo-Boolean functions which are combined by an n-ary relation. A new algorithm is described for solving these relations.