Advanced Techniques in Logic Synthesis, Optimizations and Applications