Factor cuts.

Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton

Browse the full ICCAD paper archive.