沃里克·哈维;彼得·斯图基(Peter J.Stuckey)。;艾伦·博宁 编译约束层次结构的傅里叶消元法。 (英语) Zbl 1018.68020号 约束条件 7,第2期,199-219(2002).MSC公司:第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{W.Harvey}等人,《约束7》,第2期,199--219(2002;Zbl 1018.68020) 全文: 内政部
艾伦·博宁;比约恩弗里曼-本森 紫外线:交互式图形的约束满足算法。 (英语) 兹伯利0897.68095 约束条件 3,第1号,9-32(1998).MSC公司:68T20型 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{A.Borning}和\textit{B.Freeman-Benson},约束3,No.1,9--32(1998;Zbl 0897.68095) 全文: 内政部