穹顶,费伦茨;阿诺德·诺伊梅尔 使用线性弛豫的严格过滤。 (英语) Zbl 1275.90051号 J.全球。最佳方案。 53,第3期,441-473(2012).MSC公司:90C20个 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{F.Domes}和\textit{A.Neumaier},J.Glob。最佳方案。53,编号32441-473(2012年;兹bl 1275.90051) 全文: 内政部
穹顶,费伦茨;阿诺德·诺伊梅尔 二次约束上的约束传播。 (英语) Zbl 1208.68200号 约束条件 15,第3号,404-429(2010).MSC公司:68T20型 90C20个 PDF格式BibTeX公司 XML格式引用 \textit{F.Domes}和\textit{A.Neumaier},约束15,No.3,404--429(2010;Zbl 1208.68200) 全文: 内政部