斯科特·麦卡勒姆 基于CAD的量词消除中方程约束的传播。 （英语） Zbl 1356.68287号 2001年符号和代数计算国际研讨会论文集，ISSAC’01，加拿大安大略省伦敦，2001年。纽约州纽约市：ACM出版社（ISBN 1-58113-417-7）。223-231 (2001). 引用于2评论引用于15文件 MSC公司： 68瓦30 符号计算和代数计算 03C10号机组 量词消除、模型完整性和相关主题 引文：Zbl 0900.03053号 PDF格式BibTeX公司 XML格式引用 \textit{S.McCallum}，摘自：2001年符号和代数计算国际研讨会论文集，ISSAC’01，加拿大安大略省伦敦，2001年。纽约州纽约市：ACM出版社。223--231（2001年；Zbl 1356.68287） 全文： DOI程序