Algorithms for technology mapping based on binary decision diagrams and on Boolean operations | IEEE Journals & Magazine | IEEE Xplore