SAT-Based Algorithms for Logic Minimization.

Samir Sapra Michael Theobald Edmund M. Clarke SAT-Based Algorithms for Logic Minimization. 510- 2003 conf/iccd/2003 ICCD http://csdl.computer.org/comp/proceedings/iccd/2003/2025/00/20250510abs.htm db/conf/iccd/iccd2003.html#SapraTC03