摘要：基于约束编程的复合算术表达式的高效处理方法：支持选择性初始化和简化约束传播的定理
作者：M.H. van Emden and B. Moa
论文ID：cs/0404034
分类：Numerical Analysis
分类简称：cs.NA
提交时间：2011-11-09
PDF 下载： 英文版 中文版pdf翻译中