英格兰，Matthew;拉塞尔·布拉德福德;詹姆斯·H·达文波特。;大卫·威尔逊 通过增量三角分解为真值表不变圆柱代数分解选择变量排序。 （英语） Zbl 1350.68294号 Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-44198-5/pbk）。计算机科学课堂讲稿8592，450-457（2014）。 摘要：圆柱代数分解（CAD）是解决实代数几何及其他问题的关键工具。近年来，开发了一种新的方法，其中使用规则链技术首先在复杂空间中构建分解。我们考虑最新的变体，该变体通过多项式增量构建复杂分解，并生成CAD，其细胞上的一系列公式是真实不可变的。与所有CAD算法一样，用户必须提供变量排序，这可能对问题的可处理性产生深远影响。我们评估了现有的启发式算法，以帮助选择该算法，提出了改进建议，然后推导出一种更符合新算法机制的新启发式算法。关于整个系列，请参见[Zbl 1293.65003号]。 引用于6文件 MSC公司： 68瓦30 符号计算和代数计算 第14页99 实代数和实解析几何 1999年第14季度 代数几何中的计算方面 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}等人，Lect。注释计算。科学。8592450-457（2014年；Zbl 1350.68294） 全文： 内政部 arXiv公司