安德烈·希德勒;斯泽德,斯特凡 用SAT计算最优超树分解。 (英语) Zbl 07777842号 Artif公司。智力。 325,文章ID 104015,18 p.(2023).MSC公司:68兰特 05C65号 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Schidler}和\textit{S.Szeider},Artif。智力。325,文章ID 104015,18 p.(2023;Zbl 07777842) 全文: 内政部
布莱特,柯蒂斯;伊利亚斯州科齐里亚斯;阿尔伯特·海因勒;维杰·加内什 复杂的Golay对长达28:通过计算机代数和编程SAT进行搜索。 (英语) Zbl 1468.68276号 J.塞姆。计算。 102, 153-172 (2021).MSC公司:68伏05 2015年1月5日 11B83号 68兰特 68瓦30 94A55型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,J.Symb。计算。102、153--172(2021年;Zbl 1468.68276) 全文: 内政部 arXiv公司
布莱特,柯蒂斯;伊利亚斯·科齐里亚斯;维杰·加内什 将计算机代数系统与SAT解算器应用于Williamson猜想。 (英语) Zbl 1432.68595号 J.塞姆。计算。 100, 187-209 (2020).MSC公司:68瓦30 05B20号 PDF格式BibTeX公司 XML格式引用 \textit{C.Bright}等人,J.Symb。计算。100187--209(2020年;Zbl 1432.68595) 全文: 内政部 arXiv公司
詹姆斯·奥林(James B.Orlin)。;苏布拉马尼,K。;彼得·沃伊切霍基(Piotr Wojciechowki) 寻找网络中最短负成本周期的随机算法。 (英语) Zbl 1377.05181号 离散应用程序。数学。 236, 387-394 (2018).MSC公司:05C82号 05C85号 68瓦20 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Orlin}等人,《离散应用》。数学。236387-394(2018年;Zbl 1377.05181) 全文: 内政部 链接
罗尔夫·法格伯格;克里斯托夫·弗拉姆;丹尼尔·默克尔;菲利普·彼得斯;彼得·斯塔德勒(Peter F.Stadler)。 关于重建化学反应网络的复杂性。 (英语) 1320.80005兹罗提 数学。计算。科学。 7,第3期,275-292(2013).MSC公司:80A50型 05C65号 05C90年 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagerberg}等人,《数学》。计算。科学。7,第3号,275--292(2013;Zbl 1320.80005) 全文: 内政部 arXiv公司
莱昂·普朗肯。;马蒂杰斯·德·维特(Mathijs M.de Weerdt)。;范德克罗格特(van der Krogt),罗曼·P·J·。 利用低树宽计算所有对最短路径。 (英语) Zbl 1244.68062号 J.阿蒂夫。智力。研究(JAIR) 43, 353-388 (2012). 审核人:蒂莫西·沃尔什(蒙特利尔) MSC公司:68兰特 05C85号 05C38号 68周05 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.R.Planken}等人,J.Artif。智力。研究(JAIR)43,353--388(2012;Zbl 1244.68062) 全文: 内政部 arXiv公司
谢斯利克,D。;连衣裙,A。;惠誉,W。 斯坦纳在双树上的问题。 (英语) Zbl 1009.05040号 申请。数学。莱特。 15,第7期,855-860(2002).MSC公司:05二氧化碳 90立方厘米 05C35号 PDF格式BibTeX公司 XML格式引用 \textit{D.Cieslik}等人,应用。数学。莱特。15,编号7855-860(2002年;Zbl 1009.05040) 全文: 内政部
黄,F.K。;宋,G.D。;Ting,G.Y。;杜,D.Z。 欧氏Steiner极小树的分解定理。 (英语) Zbl 0659.05042号 离散计算。地理。 3,第4期,367-382(1988). 审核人:R.Jiroušek先生 MSC公司:05二氧化碳 05C35号 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{F.K.Hwang}等人,《离散计算》。地理。3,第4号,367--382(1988;Zbl 0659.05042) 全文: 内政部 欧洲DML
杜定珠;黄,F.K。 斯坦纳最小树酒吧波。 (英语) Zbl 0626.05012号 数学学报。申请。罪。,英语。序列号。 3, 246-256 (1987).MSC公司:05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{D.Du}和\textit{F.K.Hwang},《数学学报》。申请。罪。,英语。序列号。3246--256(1987年;Zbl 0626.05012) 全文: 内政部
E.J.科卡恩。;休吉尔,D.E。 平面上Steiner极小树的精确计算。 (英语) Zbl 0593.05022号 Inf.流程。莱特。 22, 151-156 (1986). 审核人:R.Jiroušek先生 MSC公司:05二氧化碳 07年5月 05-04 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Cockayne}和\textit{D.E.Heugill},Inf.Process。莱特。22、151--156(1986年;Zbl 0593.05022) 全文: 内政部