The New Directed Hypergraph for CNF Formula of Propositional Logic | IEEE Conference Publication | IEEE Xplore