主要观点：提出用于全局值编号的多项式时间随机算法，在将条件视为非确定性且所有操作符视为未解释函数时算法是完整的，不知有相同问题的完整多项式时间确定性算法，算法无需符号操作更易实现但有报告错误等式的概率，可通过控制算法参数使该概率任意小，算法基于随机解释思想，通过在多个随机输入上执行程序并从计算值中发现关系来进行计算，条件的两个分支都执行，在连接点用随机仿射组合合并程序状态，还讨论了通过更准确的解释使算法更精确的方法。
关键信息：作者为 Sumit Gulwani 和 George C. Necula，来自 EECS 部门、加州大学伯克利分校，发表技术报告 UCB/CSD - 03 - 1296，2003 年，有 BibTeX 和 EndNote 引文格式。
重要细节：算法基于随机解释，对程序中的操作符给予随机线性解释，在连接点用随机仿射组合程序状态，可通过控制参数使报告错误等式的概率变小，还可通过更准确的解释使算法更精确等。