Clique trees, subtree representations and chordal treewidth

Source: url:https://github.com/jtraverso/erdos-81-chordal-clique-partitions Authors: Juan Pablo Traverso Gianini Status: verified Main declarations: SimpleGraph.isChordal_iff_nonempty_subtreeRepresentation Tags: graph-theory, chordal-graphs, clique-trees, perfect-elimination-orders, separators MSC: 05C75