Chordal graphs in triangular decomposition in top-down style

Autor: Mou, Chenqi, Bai, Yang, Lai, Jiahua
Zdroj: In Journal of Symbolic Computation January-February 2021 102:108-131
Databáze: ScienceDirect