SAT-Based Algorithms for Logic Minimization.

Samir Sapra, Michael Theobald, Edmund M. Clarke

Browse the full ICCD paper archive.