Comparator circuit automation by combination of game tree search and partial optimization | IEEE Conference Publication | IEEE Xplore