埃罗·海文 基于区间算法的约束推理:公差传播方法。 (英语) 兹比尔0782.68102 Artif公司。智力。 58,编号1-3,71-112(1992).MSC公司:68吨15 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Hyvönen},阿蒂夫。智力。58,编号1--3,71-112(1992;Zbl 0782.68102) 全文: DOI程序
格拉芙,T。;Van Hentenryck,P。;Pradelles-Lasserre,C。;齐默尔,L。 约束逻辑编程中混合电路的仿真。 (英语) Zbl 0728.68144号 计算。数学。申请。 20,编号9-10,45-56(1990).MSC公司:68单位99 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{T.Graf}等人,计算。数学。申请。20,编号9--10,45-56(1990;Zbl 0728.68144) 全文: DOI程序