Title: Advanced Techniques in Logic Synthesis, Optimizations and Applications