Efficient logic optimization using regularity extractionT. Kutzschebauch2000ICCD 2000Conference paper