References:
[1] E. Dubrova, D.M. Miller, J. C. Muzio. AOXMIN-MV: A Heuristic Algorithm
for AND-OR-XOR Minimization, Proc. of 4th International Workshop on the
Applications of the Reed-Muller Expansion in Circuit Design, August 20-21,
1999, Victoria, B.C., Canada, pp. 37-54.
[2] E. Dubrova, D.M. Miller, J. C. Muzio. AOXMIN: A Three-Level Heuristic
AND-OR-XOR Minimizer for Boolean Functions, Proc. of 3rd International
Workshop on the Applications of the Reed-Muller Expansion in Circuit Design,
Oxford, UK, Sept. 19-20, 1997, pp. 209-218.
Alan Mishchenko's Home Page