SAT-based area recovery in structural technology mapping.

Bruno de O. Schmitt, Alan Mishchenko, Robert K. Brayton

Browse the full ASPDAC paper archive.