Logic Minimization using Two-column Rectangle Replacement. - Søren Søe; Kevin Karplus (DAC, 1991)