黄成超;徐明;李志斌 多权力约束的冲突驱动解决程序。 (英语) Zbl 1468.68202号 J.汽车。推理 64,第1号,1-20(2020).MSC公司:68T20型 68T05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人,J.Autom。推理64,No.1,1--20(2020;Zbl 1468.68202) 全文: 内政部
黄成超;李景超;徐明;李志斌 通过排除和分化对多电源进行阳性根隔离。 (英语) Zbl 1378.68200号 J.塞姆。计算。 85, 148-169 (2018).MSC公司:68瓦30 第12天第10天 2005年12月 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人,J.Symb。计算。85、148--169(2018;Zbl 1378.68200) 全文: 内政部