Optimizing Implementations of Boolean Functions. | AMiner