Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions | IEEE Conference Publication | IEEE Xplore