AOXMIN: A Three-Level Heuristic AND-OR-XOR Minimizer for Boolean Functions