Shanghai Key Laboratory of Trustworthy Computing

researchers with a paper here

Bican Xia1
Changbo Chen1
Changhong Lü1
Lei Chen1
Marc Moreno Maza1
Yang Lu1
Zhenbing Zeng1

collaborating institutions

East China Normal UniversityCN2 papers
Peking UniversityCN1 paper
Shanghai Maritime UniversityCN1 paper
Western UniversityCA1 paper

2 papers

math.CO2009

Vertices in all minimum paired-dominating sets of block graphs

Lei Chen, Changhong Lu, Zhenbing Zeng

Let $G = (V, E)$ be a simple graph without isolated vertices. A set $S \subseteq V$ is a paired-dominating set if every vertex in $V - S$ has at least one neighbor in $S$ and the subgrap…

cs.SC2009

Computing Cylindrical Algebraic Decomposition via Triangular Decomposition

Changbo Chen, Marc Moreno Maza, Bican Xia +1

Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches…