Advanced Techniques in Logic Synthesis, Optimizations and Applications | Book individual record