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