Creating hard problem instances in logic synthesis using exact minimization.

Wolfgang Gnther, Rolf Drechsler

Browse the full ISCAS paper archive.