Redirecting you to https://cs.uni-paderborn.de/ceg/teaching/courses/ss-2019/algorithms-for-synthesis-and-optimization-of-integrated-circuits/