Advanced Techniques in Logic Synthesis, Optimizations