Advanced Techniques in Logic Synthesis, Optimizations and Applications | EKB DL