Using Disjunctive Diagrams for Preprocessing of Conjunctive Normal Forms | IEEE Conference Publication | IEEE Xplore