摘要：多面体分析中广泛应用的涉及多面体的编程策略报道。该方法允许使用许多Prolog系统中可用的线性约束求解机制编码所需的用于多面体分析的凸包计算。发表在《逻辑编程的理论与实践》（TPLP）上。
作者：Florence Benoy and Andy King and Fred Mesnard
论文ID：cs/0311002
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中