Incidence Treewidth

The treewidth of the incidence graph of a logical formula or CNF instance: the incidence graph has a vertex for each variable and each clause and edges between a variable and every clause that contains it; incidence treewidth measures how close this bipartite structure is to a tree.