New data structures and algorithms for logic synthesis and verification - Amaru, Luca Gaetano (Springer, 2017)