Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition.

Mingyu Dong, Chenqi Mou

Browse the full CASC paper archive.