Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT.

Mathias Soeken, Alan Mishchenko, Ana Petkovska, Baruch Sterin, Paolo Ienne, Robert K. Brayton, Giovanni De Micheli

Browse the full SAT paper archive.