Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions.

Zhaohui Fu Sharad Malik Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions. 37-42 2007 conf/vlsid/2007 VLSI Design http://doi.ieeecomputersociety.org/10.1109/VLSID.2007.81 db/conf/vlsid/vlsid2007.html#FuM07