Creating hard problem instances in logic synthesis using exact minimization | IEEE Conference Publication | IEEE Xplore