incidence_treewidth (430B)
1 # Incidence treewidth 2 3 [treewidth] of [incidence_graph] of [conjunctive_normal_form] [boolean_formula] 4 5 more general than [primal_treewidth], by [szeider2003fixed] 6 - bounding [primal_treewidth] implies a bound on the [incidence_treewidth] 7 - specifically [incidence_treewidth] is \leq [primal_treewidth] + 1 8 - lemma 4 of [szeider2003fixed] 9 - but not vice-versa 10 11 Up: [conjunctive_normal_form] 12 13 See also: [incidence_pathwidth]