MLBM: Machine-learning-based minimization algorithm for boolean functions | IEEE Conference Publication | IEEE Xplore