乔斯·海因茨;玛丽·弗朗索瓦斯·罗伊;巴勃罗·索勒诺 论现实存在论的理论和实践复杂性。 （英语） Zbl 0780.68058号 计算。J。 36，第5期，427-431（1993）. 摘要：最近提出了几个理论上的单指数时间算法（在变量数方面）来确定实存在理论。从复杂性分析的角度来看，这些算法的性能要比CAD好得多，CAD在变量数量上是双指数的，但基于这些新思想的高效实现尚未实现。本文致力于发展以下思想：“有可能高效地实现适合决策问题重要特殊情况的单指数方法的微小变体”。我们解释了主要思想，提出了更有效的方法版本，并为未来的实验提出了具体的建议。 引用于1审查引用于11文件 MSC公司： 65年第68季度 算法和问题复杂性分析 03年2月25日 理论和句子集的可决定性 关键词：柱面代数分解 PDF格式BibTeX公司 XML格式引用 \textit{J.Heintz}等人，《计算》。J.36，No.5，427--431（1993；Zbl 0780.68058） 全文： DOI程序