There has been much continuing interest in the global optimization met
hod of Morel and Renvoise as extended by Joshi-Dhamdere and Chow. Unfo
rtunately, the original formulation of Morel and Renvoise and those of
Joshi-Dhamdere and Chow do not agree as to;the form of the algorithm.
The precise form of the algorithm's boolean equations is critical to
the algorithm's performance and efficient implementation. Some of the
problems with the algorithm noted by other authors can be solved by us
ing a slightly different formulation of the algorithm.