The New Directed Hypergraph for CNF Formula of Propositional Logic.

Zhijia Zhang, Yang Xu

Browse the full ISKE paper archive.