Advanced Logic Synthesis