New Data Structures and Algorithms for Logic Synthesis and Verification - Amaru, Luca Gaetano (Springer International Publishing : Imprint: Springer, 2017)