梅德利纳·埃拉什库;佛罗里达州米科塔;丹妮拉·扎哈里 使用优化模理论、数学编程和对称破缺,在基于组件的应用程序云中进行可扩展的优化部署。 (英语) Zbl 1518.68021号 J.日志。代数。方法计划。 121,文章ID 100664,23 p.(2021).MSC公司:68英里11 90摄氏度 PDF格式BibTeX公司 XML格式引用 \textit{M.Erašcu}等人,J.Log。代数。方法计划。121,文章ID 100664,23 p.(2021;Zbl 1518.68021) 全文: 内政部 arXiv公司
马西莫开罗;卡洛·科明;罗密欧·里兹 条件简单时态网络动态一致性检查中的瞬时反应时间。 (英语) 兹比尔1433.68407 J.日志。代数。方法计划。 113,文章ID 100542,22 p.(2020).MSC公司:68T20型 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Cairo}等人,J.Log。代数。方法计划。113,文章ID 100542,22 p.(2020;Zbl 1433.68407) 全文: 内政部 arXiv公司 链接
泽德勒,克莱门斯;杰拉尔德·韦伯;亚历克斯·加夫柳什金;克里斯托夫·卢特罗思 基于约束的布局编辑的平铺代数。 (英语) Zbl 1407.68528号 J.日志。代数。方法计划。 89, 67-94 (2017).MSC公司:68单位35 52C20个 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Zeidler}等人,J.Log。代数。方法计划。89、67-94(2017;Zbl 1407.68528) 全文: 内政部 链接